Statistics for tag 02GJ
| tag creation | last update | |
|---|---|---|
| May 26, 2009 | Oct 9, 2010 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 440 |
| number of chapters used | 14 |
| number of sections used | 100 |
| number of results (indirectly) using this tag | 2434 |
Tags (directly) using this result
- Lemma 29.36.3
in Section 29.36: Étale morphisms
(go to statistics) - Lemma 29.36.4
in Section 29.36: Étale morphisms
(go to statistics) - Lemma 32.8.10
in Section 32.8: Descending properties of morphisms
(go to statistics) - Lemma 35.31.1
in Section 35.31: Properties of morphisms local in the étale topology on the source
(go to statistics) - Lemma 37.8.9
in Section 37.8: Formally étale morphisms
(go to statistics)