Statistics for tag 07ND
tag creation | last update | |
---|---|---|
Apr 22, 2012 | Jan 23, 2022 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 7 |
number of results used in preliminary results | 389 |
number of chapters used | 12 |
number of sections used | 93 |
number of results (indirectly) using this tag | 3058 |
Tags (directly) using this result
- Lemma 10.143.4
in Section 10.143: Étale ring maps
(go to statistics) - Lemma 10.158.10
in Section 10.158: Formal smoothness of fields
(go to statistics) - Lemma 15.47.5
in Section 15.47: The singular locus
(go to statistics) - Lemma 16.4.6
in Section 16.4: Intermezzo: Néron desingularization
(go to statistics) - Lemma 53.12.1
in Section 53.12: Riemann-Hurwitz
(go to statistics) - Lemma 59.74.3
in Section 59.74: Constructible sheaves on Noetherian schemes
(go to statistics)