Statistics for tag 032A
tag creation | last update | |
---|---|---|
Aug 14, 2009 | Jan 23, 2022 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 4 |
number of results used in preliminary results | 194 |
number of chapters used | 12 |
number of sections used | 64 |
number of results (indirectly) using this tag | 393 |
Tags (directly) using this result
- Lemma 10.160.10
in Section 10.160: The Cohen structure theorem
(go to statistics) - Lemma 15.38.2
in Section 15.38: Formally smooth maps of local rings
(go to statistics) - Lemma 15.39.3
in Section 15.39: Some results on power series rings
(go to statistics) - Lemma 15.39.4
in Section 15.39: Some results on power series rings
(go to statistics) - Theorem 15.115.18
in Section 15.115: Eliminating ramification
(go to statistics) - Lemma 23.8.1
in Section 23.8: Local complete intersection rings
(go to statistics) - Lemma 33.21.1
in Section 33.21: Complete local rings
(go to statistics) - Lemma 47.22.4
in Section 47.22: The ubiquity of dualizing complexes
(go to statistics) - Theorem 51.11.6
in Section 51.11: Finiteness of local cohomology, II
(go to statistics)