Statistics for tag 07GC
tag creation | last update | |
---|---|---|
Jan 12, 2012 | Jan 14, 2012 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 5 |
number of results used in preliminary results | 639 |
number of chapters used | 26 |
number of sections used | 140 |
number of results (indirectly) using this tag | 192 |
Tags (directly) using this result
- Theorem 16.13.1
in Section 16.13: The approximation property for G-rings
(go to statistics) - Theorem 16.13.2
in Section 16.13: The approximation property for G-rings
(go to statistics) - Lemma 16.14.1
in Section 16.14: Approximation for henselian pairs
(go to statistics) - Lemma 37.39.3
in Section 37.39: Étale neighbourhoods and Artin approximation
(go to statistics) - Lemma 37.39.4
in Section 37.39: Étale neighbourhoods and Artin approximation
(go to statistics) - Proposition 58.26.4
in Section 58.26: Purity in local case, III
(go to statistics) - Lemma 110.44.4
in Section 110.44: Flat and formally unramified is not formally étale
(go to statistics)