Statistics for tag 01OZ
| tag creation | last update | |
|---|---|---|
| Mar 1, 2009 | Jun 8, 2009 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 3 |
| number of chapters used | 2 |
| number of sections used | 3 |
| number of results (indirectly) using this tag | 1853 |
Tags (directly) using this result
- Lemma 28.5.7
in Section 28.5: Noetherian schemes
(go to statistics) - Lemma 28.5.8
in Section 28.5: Noetherian schemes
(go to statistics) - Lemma 28.7.6
in Section 28.7: Normal schemes
(go to statistics) - Lemma 28.11.3
in Section 28.11: Catenary schemes
(go to statistics) - Lemma 29.20.14
in Section 29.20: Quasi-finite morphisms
(go to statistics) - Lemma 30.20.9
in Section 30.20: The theorem on formal functions
(go to statistics) - Lemma 31.26.1
in Section 31.26: Weil divisors
(go to statistics) - Lemma 33.25.2
in Section 33.25: Schemes smooth over fields
(go to statistics) - Lemma 33.28.1
in Section 33.28: Groups of invertible functions
(go to statistics) - Proposition 33.31.1
in Section 33.31: Uniqueness of base field
(go to statistics) - Lemma 66.24.2
in Section 66.24: Noetherian spaces
(go to statistics) - Lemma 70.13.3
in Section 70.13: Embedding into affine space
(go to statistics) - Lemma 79.9.11
in Section 79.9: Properties of groups over fields and groupoids on fields
(go to statistics) - Lemma 101.8.3
in Section 101.8: Noetherian algebraic stacks
(go to statistics)