Statistics for tag 08AJ
| tag creation | last update | |
|---|---|---|
| Oct 23, 2012 | Dec 11, 2012 | 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 | 2 |
| number of results (indirectly) using this tag | 494 |
Tags (directly) using this result
- Lemma 67.40.8
in Section 67.40: Proper morphisms
(go to statistics) - Lemma 67.48.9
in Section 67.48: Relative normalization of algebraic spaces
(go to statistics) - Lemma 69.19.2
in Section 69.19: Noetherian valuative criterion
(go to statistics) - Lemma 70.6.13
in Section 70.6: Descending properties of morphisms
(go to statistics) - Lemma 70.12.1
in Section 70.12: Approximating proper morphisms
(go to statistics) - Lemma 70.21.3
in Section 70.21: Noetherian valuative criterion
(go to statistics) - Lemma 70.22.1
in Section 70.22: Refined Noetherian valuative criteria
(go to statistics) - Lemma 75.7.1
in Section 75.7: Being proper over a base
(go to statistics) - Lemma 75.7.5
in Section 75.7: Being proper over a base
(go to statistics) - Lemma 76.36.10
in Section 76.36: Stein factorization
(go to statistics) - Theorem 76.42.11
in Section 76.42: Grothendieck's existence theorem
(go to statistics) - Lemma 101.27.17
in Section 101.27: Morphisms of finite presentation
(go to statistics)