Statistics for tag 01JT
tag creation | last update | |
---|---|---|
Dec 6, 2008 | Feb 27, 2023 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 2 |
number of chapters used | 1 |
number of sections used | 1 |
number of results (indirectly) using this tag | 2815 |
Tags (directly) using this result
- Lemma 29.8.4
in Section 29.8: Dominant morphisms
(go to statistics) - Lemma 29.9.3
in Section 29.9: Surjective morphisms
(go to statistics) - Lemma 29.10.2
in Section 29.10: Radicial and universally injective morphisms
(go to statistics) - Lemma 29.20.4
in Section 29.20: Quasi-finite morphisms
(go to statistics) - Lemma 29.41.8
in Section 29.41: Proper morphisms
(go to statistics) - Lemma 33.5.1
in Section 33.5: Change of fields and local rings
(go to statistics) - Lemma 33.40.2
in Section 33.40: The number of branches
(go to statistics) - Lemma 35.13.1
in Section 35.13: Fpqc coverings are universal effective epimorphisms
(go to statistics) - Lemma 37.35.3
in Section 37.35: Étale neighbourhoods
(go to statistics) - Lemma 37.41.3
in Section 37.41: Étale localization of quasi-finite morphisms
(go to statistics) - Lemma 37.78.3
in Section 37.78: Completely decomposed morphisms
(go to statistics) - Lemma 38.16.6
in Section 38.16: Relatively pure modules
(go to statistics) - Lemma 40.7.1
in Section 40.7: Comparing fibres
(go to statistics)