Statistics for tag 00PH
tag creation | last update | |
---|---|---|
Mar 21, 2009 | Jan 23, 2022 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 4 |
number of results used in preliminary results | 104 |
number of chapters used | 11 |
number of sections used | 30 |
number of results (indirectly) using this tag | 519 |
Tags (directly) using this result
- Lemma 28.5.10
in Section 28.5: Noetherian schemes
(go to statistics) - Lemma 32.15.1
in Section 32.15: Noetherian valuative criterion
(go to statistics) - Lemma 32.15.2
in Section 32.15: Noetherian valuative criterion
(go to statistics) - Lemma 32.15.3
in Section 32.15: Noetherian valuative criterion
(go to statistics) - Lemma 32.15.4
in Section 32.15: Noetherian valuative criterion
(go to statistics) - Lemma 58.16.4
in Section 58.16: Specialization maps
(go to statistics) - Lemma 88.21.9
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 88.21.10
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 88.21.12
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 88.21.14
in Section 88.21: Rig-surjective morphisms
(go to statistics) - Lemma 88.23.10
in Section 88.23: The completion functor
(go to statistics)