Statistics for tag 04GM
tag creation | last update | |
---|---|---|
Apr 14, 2010 | Jun 6, 2024 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 0 |
number of results used in preliminary results | 0 |
number of chapters used | 0 |
number of sections used | 0 |
number of results (indirectly) using this tag | 410 |
Tags (directly) using this result
- Lemma 15.45.3
in Section 15.45: Permanence of properties under henselization
(go to statistics) - Lemma 15.108.1
in Section 15.108: Branches of the completion
(go to statistics) - Lemma 53.16.1
in Section 53.16: Multicross and nodal singularities
(go to statistics) - Lemma 53.19.4
in Section 53.19: Nodal curves
(go to statistics) - Theorem 59.32.3
in Section 59.32: Henselian rings
(go to statistics) - Lemma 87.33.3
in Section 87.33: Maps out of affine formal schemes
(go to statistics) - Lemma 90.9.5
in Section 90.9: Smooth or unobstructed categories
(go to statistics) - Lemma 93.17.4
in Section 93.17: Smoothings
(go to statistics) - Lemma 98.9.5
in Section 98.9: Formal objects
(go to statistics)