Statistics for tag 0335
tag creation | last update | |
---|---|---|
Aug 18, 2009 | Aug 19, 2012 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 341 |
number of chapters used | 12 |
number of sections used | 86 |
number of results (indirectly) using this tag | 756 |
Tags (directly) using this result
- Lemma 10.163.9
in Section 10.163: Ascending properties
(go to statistics) - Lemma 10.165.5
in Section 10.165: Geometrically normal algebras
(go to statistics) - Lemma 15.123.5
in Section 15.123: Extensions of valuation rings
(go to statistics) - Lemma 29.18.2
in Section 29.18: Nagata schemes, reprise
(go to statistics) - Lemma 37.31.2
in Section 37.31: Weak relative Noether normalization
(go to statistics) - Lemma 54.14.3
in Section 54.14: Resolution
(go to statistics) - Lemma 54.14.4
in Section 54.14: Resolution
(go to statistics) - Lemma 58.31.9
in Section 58.31: Tame ramification
(go to statistics) - Theorem 59.89.2
in Section 59.89: Smooth base change
(go to statistics)