Statistics for tag 00EJ
| tag creation | last update | |
|---|---|---|
| Oct 30, 2008 | May 19, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 6 |
| number of chapters used | 1 |
| number of sections used | 4 |
| number of results (indirectly) using this tag | 4634 |
Tags (directly) using this result
- Lemma 10.24.3
in Section 10.24: Glueing functions
(go to statistics) - Lemma 15.11.6
in Section 15.11: Henselian pairs
(go to statistics) - Lemma 15.91.2
in Section 15.91: Derived Completion
(go to statistics) - Lemma 29.47.2
in Section 29.47: Absolute weak normalization and seminormalization
(go to statistics) - Lemma 52.6.3
in Section 52.6: Derived completion on a ringed site
(go to statistics)