Statistics for tag 02NS
tag creation | last update | |
---|---|---|
Jul 10, 2009 | Jun 15, 2015 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 215 |
number of chapters used | 17 |
number of sections used | 87 |
number of results (indirectly) using this tag | 202 |
Tags (directly) using this result
- Lemma 37.17.3
in Section 37.17: Closed immersions between smooth schemes
(go to statistics) - Lemma 37.80.2
in Section 37.80: Blowing up and ample families of invertible modules
(go to statistics) - Lemma 42.4.2
in Section 42.4: Preparation for tame symbols
(go to statistics) - Lemma 54.5.2
in Section 54.5: Dominating by normalized blowups
(go to statistics) - Lemma 54.9.4
in Section 54.9: Rational singularities
(go to statistics) - Lemma 54.16.1
in Section 54.16: Contracting exceptional curves
(go to statistics) - Lemma 54.16.10
in Section 54.16: Contracting exceptional curves
(go to statistics) - Lemma 71.17.11
in Section 71.17: Blowing up
(go to statistics) - Lemma 110.65.1
in Section 110.65: Being projective is not local on the base
(go to statistics) - Lemma 115.23.6
in Section 115.23: Intersection theory
(go to statistics)