Statistics for tag 06DI
tag creation | last update | |
---|---|---|
May 20, 2011 | Mar 2, 2016 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 4 |
number of results used in preliminary results | 383 |
number of chapters used | 12 |
number of sections used | 95 |
number of results (indirectly) using this tag | 164 |
Tags (directly) using this result
- Lemma 33.39.5
in Section 33.39: The delta invariant
(go to statistics) - Lemma 37.64.12
in Section 37.64: Weakly étale morphisms
(go to statistics) - Lemma 58.11.4
in Section 58.11: Fundamental groups of normal schemes
(go to statistics) - Lemma 58.13.4
in Section 58.13: Ramification theory
(go to statistics) - Lemma 59.73.13
in Section 59.73: More on constructible sheaves
(go to statistics)