Statistics for tag 03XX
| tag creation | last update | |
|---|---|---|
| Dec 21, 2009 | Jun 17, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 15 |
| number of results used in preliminary results | 1250 |
| number of chapters used | 35 |
| number of sections used | 326 |
| number of results (indirectly) using this tag | 857 |
Tags (directly) using this result
- Lemma 67.51.1
in Section 67.51: Applications
(go to statistics) - Lemma 67.51.2
in Section 67.51: Applications
(go to statistics) - Lemma 69.22.8
in Section 69.22: The theorem on formal functions
(go to statistics) - Theorem 77.12.8
in Section 77.12: Grothendieck's Existence Theorem
(go to statistics) - Lemma 79.12.10
in Section 79.12: The finite part of a morphism
(go to statistics) - Lemma 79.12.14
in Section 79.12: The finite part of a morphism
(go to statistics) - Lemma 80.5.2
in Section 80.5: Bootstrapping the diagonal
(go to statistics) - Lemma 80.5.4
in Section 80.5: Bootstrapping the diagonal
(go to statistics) - Theorem 80.6.1
in Section 80.6: Bootstrap
(go to statistics) - Theorem 80.10.1
in Section 80.10: Final bootstrap
(go to statistics) - Lemma 87.9.11
in Section 87.9: Affine formal algebraic spaces
(go to statistics) - Lemma 87.11.2
in Section 87.11: Formal algebraic spaces
(go to statistics) - Lemma 98.27.11
in Section 98.27: Artin's theorem on contractions
(go to statistics) - Lemma 101.3.4
in Section 101.3: Properties of diagonals
(go to statistics) - Lemma 101.32.3
in Section 101.32: Étale local structure
(go to statistics)