Statistics for tag 02H9
| tag creation | last update | |
|---|---|---|
| May 27, 2009 | Nov 20, 2020 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 10 |
| number of chapters used | 6 |
| number of sections used | 6 |
| number of results (indirectly) using this tag | 1339 |
Tags (directly) using this result
- Lemma 37.6.8
in Section 37.6: Formally unramified morphisms
(go to statistics) - Lemma 37.7.4
in Section 37.7: Universal first order thickenings
(go to statistics) - Lemma 37.7.11
in Section 37.7: Universal first order thickenings
(go to statistics) - Lemma 37.8.6
in Section 37.8: Formally étale morphisms
(go to statistics) - Lemma 37.13.6
in Section 37.13: The naive cotangent complex
(go to statistics) - Lemma 37.64.8
in Section 37.64: Weakly étale morphisms
(go to statistics) - Lemma 76.14.6
in Section 76.14: Formally unramified morphisms
(go to statistics) - Lemma 110.44.1
in Section 110.44: Flat and formally unramified is not formally étale
(go to statistics)