Statistics for tag 03JJ
| tag creation | last update | |
|---|---|---|
| Oct 26, 2009 | Aug 11, 2011 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 8 |
| number of chapters used | 5 |
| number of sections used | 7 |
| number of results (indirectly) using this tag | 410 |
Tags (directly) using this result
- Lemma 67.16.4
in Section 67.16: Scheme theoretic image
(go to statistics) - Lemma 67.42.5
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 67.47.5
in Section 67.47: Rational maps
(go to statistics) - Lemma 68.13.10
in Section 68.13: Reduced singleton spaces
(go to statistics) - Lemma 82.7.1
in Section 82.7: Preparation for proper pushforward
(go to statistics) - Lemma 83.4.5
in Section 83.4: Categorical quotients
(go to statistics) - Lemma 87.12.1
in Section 87.12: The reduction
(go to statistics)