Statistics for tag 0316
| tag creation | last update | |
|---|---|---|
| Dec 5, 2010 | Jun 19, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 15 |
| number of chapters used | 3 |
| number of sections used | 10 |
| number of results (indirectly) using this tag | 650 |
Tags (directly) using this result
- Lemma 15.12.4
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 15.40.3
in Section 15.40: Geometric regularity and formal smoothness
(go to statistics) - Lemma 15.50.14
in Section 15.50: G-rings
(go to statistics) - Lemma 15.51.6
in Section 15.51: Properties of formal fibres
(go to statistics) - Lemma 15.108.4
in Section 15.108: Branches of the completion
(go to statistics) - Lemma 30.23.2
in Section 30.23: Coherent formal modules
(go to statistics) - Lemma 47.7.6
in Section 47.7: Injective hull of the residue field
(go to statistics) - Lemma 51.4.9
in Section 51.4: Cohomological dimension
(go to statistics) - Lemma 58.9.2
in Section 58.9: Finite étale covers of proper schemes
(go to statistics) - Lemma 87.14.6
in Section 87.14: Completion along a closed subset
(go to statistics) - Lemma 87.21.1
in Section 87.21: Morphisms and continuous ring maps
(go to statistics) - Lemma 87.37.6
in Section 87.37: Recompletion
(go to statistics) - Lemma 88.2.2
in Section 88.2: Two categories
(go to statistics) - Lemma 90.9.5
in Section 90.9: Smooth or unobstructed categories
(go to statistics) - Lemma 90.29.6
in Section 90.29: Change of residue field
(go to statistics)