Statistics for tag 02GF
| tag creation | last update | |
|---|---|---|
| May 26, 2009 | Jan 23, 2022 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 9 |
| number of results used in preliminary results | 487 |
| number of chapters used | 16 |
| number of sections used | 116 |
| number of results (indirectly) using this tag | 2126 |
Tags (directly) using this result
- Lemma 29.35.15
in Section 29.35: Unramified morphisms
(go to statistics) - Lemma 29.36.15
in Section 29.36: Étale morphisms
(go to statistics) - Lemma 29.36.16
in Section 29.36: Étale morphisms
(go to statistics) - Lemma 33.16.8
in Section 33.16: Tangent spaces
(go to statistics) - Theorem 41.4.1
in Section 41.4: Three other characterizations of unramified morphisms
(go to statistics) - Lemma 54.17.1
in Section 54.17: Factorization birational maps
(go to statistics) - Theorem 101.21.6
in Section 101.21: Special presentations of algebraic stacks
(go to statistics)