Statistics for tag 0AP2
tag creation | last update | |
---|---|---|
Sep 29, 2014 | Aug 31, 2016 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 5 |
number of results used in preliminary results | 486 |
number of chapters used | 13 |
number of sections used | 111 |
number of results (indirectly) using this tag | 46 |
Tags (directly) using this result
- Lemma 15.111.8
in Section 15.111: Extensions of discrete valuation rings
(go to statistics) - Lemma 15.114.8
in Section 15.114: Abhyankar's lemma and tame ramification
(go to statistics) - Lemma 15.114.9
in Section 15.114: Abhyankar's lemma and tame ramification
(go to statistics) - Lemma 55.14.2
in Section 55.14: Semistable reduction
(go to statistics) - Lemma 58.31.7
in Section 58.31: Tame ramification
(go to statistics) - Lemma 88.21.7
in Section 88.21: Rig-surjective morphisms
(go to statistics)