Statistics for tag 03XN
| tag creation | last update | |
|---|---|---|
| Dec 23, 2009 | Oct 9, 2010 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 295 |
| number of chapters used | 18 |
| number of sections used | 84 |
| number of results (indirectly) using this tag | 342 |
Tags (directly) using this result
- 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) - Lemma 87.9.11
in Section 87.9: Affine formal algebraic spaces
(go to statistics) - Lemma 101.4.12
in Section 101.4: Separation axioms
(go to statistics) - Lemma 101.4.13
in Section 101.4: Separation axioms
(go to statistics) - Lemma 101.4.14
in Section 101.4: Separation axioms
(go to statistics)