Statistics for tag 07SU
tag creation | last update | |
---|---|---|
May 20, 2012 | Oct 23, 2016 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 17 |
number of results used in preliminary results | 1547 |
number of chapters used | 39 |
number of sections used | 398 |
number of results (indirectly) using this tag | 413 |
Tags (directly) using this result
- Lemma 70.9.1
in Section 70.9: Applications
(go to statistics) - Lemma 70.10.1
in Section 70.10: Relative approximation
(go to statistics) - Lemma 70.11.6
in Section 70.11: Finite type closed in finite presentation
(go to statistics) - Lemma 70.12.2
in Section 70.12: Approximating proper morphisms
(go to statistics) - Lemma 70.15.1
in Section 70.15: Characterizing affine spaces
(go to statistics) - Lemma 70.16.4
in Section 70.16: Finite cover by a scheme
(go to statistics) - Lemma 76.40.5
in Section 76.40: Chow's lemma
(go to statistics) - Lemma 76.41.1
in Section 76.41: Variants of Chow's Lemma
(go to statistics) - Lemma 76.41.2
in Section 76.41: Variants of Chow's Lemma
(go to statistics) - Lemma 76.56.4
in Section 76.56: The resolution property
(go to statistics) - Lemma 76.57.2
in Section 76.57: Blowing up and the resolution property
(go to statistics) - Theorem 81.14.9
in Section 81.14: Compactifications
(go to statistics) - Lemma 102.6.1
in Section 102.6: Finite type closed in finite presentation
(go to statistics) - Theorem 106.10.3
in Section 106.10: Chow's lemma for algebraic stacks
(go to statistics)