Statistics for tag 06NH
| tag creation | last update | |
|---|---|---|
| Oct 26, 2009 | May 23, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 12 |
| number of results used in preliminary results | 1182 |
| number of chapters used | 34 |
| number of sections used | 311 |
| number of results (indirectly) using this tag | 512 |
Tags (directly) using this result
- Lemma 66.15.1
in Section 66.15: Points on quasi-separated spaces
(go to statistics) - Lemma 67.10.8
in Section 67.10: Monomorphisms
(go to statistics) - Lemma 68.9.3
in Section 68.9: Integral cover by a scheme
(go to statistics) - Lemma 69.14.2
in Section 69.14: Devissage of coherent sheaves
(go to statistics) - Lemma 70.13.3
in Section 70.13: Embedding into affine space
(go to statistics) - Lemma 70.21.3
in Section 70.21: Noetherian valuative criterion
(go to statistics) - Lemma 71.8.4
in Section 71.8: Effective Cartier divisors on Noetherian spaces
(go to statistics) - Lemma 72.9.2
in Section 72.9: Schematic locus
(go to statistics) - Lemma 79.10.1
in Section 79.10: Group algebraic spaces over fields
(go to statistics) - Lemma 81.14.8
in Section 81.14: Compactifications
(go to statistics) - Theorem 81.14.9
in Section 81.14: Compactifications
(go to statistics) - Lemma 82.8.3
in Section 82.8: Proper pushforward
(go to statistics) - Lemma 82.9.1
in Section 82.9: Preparation for flat pullback
(go to statistics)