Statistics for tag 04GG
| tag creation | last update | |
|---|---|---|
| Apr 14, 2010 | Apr 19, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 8 |
| number of results used in preliminary results | 510 |
| number of chapters used | 13 |
| number of sections used | 112 |
| number of results (indirectly) using this tag | 1303 |
Tags (directly) using this result
- Lemma 10.153.4
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.5
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.7
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.10
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.11
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.12
in Section 10.153: Henselian local rings
(go to statistics) - Lemma 10.153.13
in Section 10.153: Henselian local rings
(go to statistics) - Theorem 16.13.1
in Section 16.13: The approximation property for G-rings
(go to statistics) - Lemma 49.11.5
in Section 49.11: Finite syntomic morphisms
(go to statistics) - Lemma 58.19.4
in Section 58.19: Finite étale covers of punctured spectra, I
(go to statistics) - Theorem 59.32.4
in Section 59.32: Henselian rings
(go to statistics) - Lemma 61.11.6
in Section 61.11: Constructing w-contractible covers
(go to statistics) - Lemma 68.14.2
in Section 68.14: Decent spaces
(go to statistics) - Lemma 71.10.4
in Section 71.10: Meromorphic functions and sections
(go to statistics) - Lemma 81.14.4
in Section 81.14: Compactifications
(go to statistics) - Lemma 93.17.4
in Section 93.17: Smoothings
(go to statistics)