Statistics for tag 080E
tag creation | last update | |
---|---|---|
Jul 14, 2012 | Jun 24, 2015 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 6 |
number of results used in preliminary results | 186 |
number of chapters used | 18 |
number of sections used | 76 |
number of results (indirectly) using this tag | 236 |
Tags (directly) using this result
- Lemma 38.33.2
in Section 38.33: Nagata compactification
(go to statistics) - Lemma 38.33.4
in Section 38.33: Nagata compactification
(go to statistics) - Lemma 38.37.1
in Section 38.37: Almost blow up squares and the h topology
(go to statistics) - Lemma 42.54.9
in Section 42.54: Higher codimension gysin homomorphisms
(go to statistics) - Lemma 54.15.2
in Section 54.15: Embedded resolution
(go to statistics) - Lemma 54.15.3
in Section 54.15: Embedded resolution
(go to statistics) - Lemma 55.12.4
in Section 55.12: Blowing down exceptional curves
(go to statistics) - Lemma 71.18.3
in Section 71.18: Strict transform
(go to statistics)