Statistics for tag 04D1
| tag creation | last update | |
|---|---|---|
| Mar 15, 2010 | Nov 13, 2020 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 15 |
| number of chapters used | 3 |
| number of sections used | 10 |
| number of results (indirectly) using this tag | 1109 |
Tags (directly) using this result
- Lemma 10.143.11
in Section 10.143: Étale ring maps
(go to statistics) - Lemma 15.11.2
in Section 15.11: Henselian pairs
(go to statistics) - Lemma 15.13.2
in Section 15.13: Lifting and henselian pairs
(go to statistics) - Lemma 37.35.6
in Section 37.35: Étale neighbourhoods
(go to statistics) - Lemma 38.2.1
in Section 38.2: Lemmas on étale localization
(go to statistics) - Lemma 58.32.3
in Section 58.32: Tricks in positive characteristic
(go to statistics) - Lemma 59.46.2
in Section 59.46: Closed immersions and pushforward
(go to statistics) - Lemma 59.48.3
in Section 59.48: Big sites and pushforward
(go to statistics) - Lemma 59.80.6
in Section 59.80: Schemes with strictly henselian local rings
(go to statistics) - Lemma 61.7.7
in Section 61.7: Ind-étale algebra
(go to statistics) - Lemma 61.8.4
in Section 61.8: Constructing ind-étale algebras
(go to statistics) - Lemma 87.19.13
in Section 87.19: Morphisms representable by algebraic spaces
(go to statistics)