Statistics for tag 01K4
| tag creation | last update | |
|---|---|---|
| Dec 8, 2008 | Apr 13, 2017 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 2 |
| number of chapters used | 2 |
| number of sections used | 1 |
| number of results (indirectly) using this tag | 4138 |
Tags (directly) using this result
- Lemma 26.21.6
in Section 26.21: Separation axioms
(go to statistics) - Lemma 28.2.1
in Section 28.2: Constructible sets
(go to statistics) - Lemma 28.5.3
in Section 28.5: Noetherian schemes
(go to statistics) - Lemma 28.17.1
in Section 28.17: Sections over principal opens
(go to statistics) - Lemma 29.11.2
in Section 29.11: Affine morphisms
(go to statistics) - Lemma 29.11.3
in Section 29.11: Affine morphisms
(go to statistics) - Lemma 29.13.2
in Section 29.13: Quasi-affine morphisms
(go to statistics) - Lemma 29.13.3
in Section 29.13: Quasi-affine morphisms
(go to statistics) - Lemma 29.41.8
in Section 29.41: Proper morphisms
(go to statistics) - Lemma 31.30.1
in Section 31.30: Relative Proj
(go to statistics) - Lemma 35.23.1
in Section 35.23: Properties of morphisms local in the fpqc topology on the target
(go to statistics) - Lemma 66.3.3
in Section 66.3: Separation axioms
(go to statistics) - Lemma 79.15.11
in Section 79.15: Étale localization of groupoid schemes
(go to statistics)