Statistics for tag 089E
tag creation | last update | |
---|---|---|
Oct 18, 2012 | May 1, 2013 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 5 |
number of results used in preliminary results | 1195 |
number of chapters used | 35 |
number of sections used | 330 |
number of results (indirectly) using this tag | 352 |
Tags (directly) using this result
- Lemma 67.41.4
in Section 67.41: Valuative criteria
(go to statistics) - Lemma 67.42.5
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 70.23.6
in Section 70.23: Descending finite type spaces
(go to statistics) - Lemma 71.8.5
in Section 71.8: Effective Cartier divisors on Noetherian spaces
(go to statistics) - Lemma 101.38.5
in Section 101.38: Scheme theoretic image
(go to statistics) - Lemma 109.23.2
in Section 109.23: Contraction morphisms
(go to statistics)