Statistics for tag 056S
tag creation | last update | |
---|---|---|
Sep 9, 2010 | Oct 5, 2014 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 448 |
number of chapters used | 18 |
number of sections used | 124 |
number of results (indirectly) using this tag | 556 |
Tags (directly) using this result
- Lemma 33.25.4
in Section 33.25: Schemes smooth over fields
(go to statistics) - Lemma 37.17.1
in Section 37.17: Closed immersions between smooth schemes
(go to statistics) - Lemma 39.8.7
in Section 39.8: Properties of algebraic group schemes
(go to statistics) - Lemma 39.9.8
in Section 39.9: Abelian varieties
(go to statistics) - Lemma 44.3.1
in Section 44.3: Moduli of divisors on smooth curves
(go to statistics) - Proposition 53.10.4
in Section 53.10: Curves of genus zero
(go to statistics) - Lemma 57.9.6
in Section 57.9: Resolutions and bounds
(go to statistics) - Lemma 57.9.10
in Section 57.9: Resolutions and bounds
(go to statistics) - Lemma 72.16.1
in Section 72.16: Spaces smooth over fields
(go to statistics) - Theorem 101.21.6
in Section 101.21: Special presentations of algebraic stacks
(go to statistics)