Statistics for tag 03KA
| tag creation | last update | |
|---|---|---|
| Nov 4, 2009 | Jan 23, 2022 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 692 |
| number of chapters used | 25 |
| number of sections used | 187 |
| number of results (indirectly) using this tag | 345 |
Tags (directly) using this result
- Lemma 67.42.2
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 67.42.5
in Section 67.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 67.43.2
in Section 67.43: Valuative criterion of separatedness
(go to statistics) - Proposition 68.16.1
in Section 68.16: Valuative criterion
(go to statistics) - Lemma 68.17.11
in Section 68.17: Relative conditions
(go to statistics) - Lemma 70.21.4
in Section 70.21: Noetherian valuative criterion
(go to statistics) - Lemma 81.14.7
in Section 81.14: Compactifications
(go to statistics) - Lemma 101.40.1
in Section 101.40: Valuative criterion for second diagonal
(go to statistics) - Lemma 101.41.2
in Section 101.41: Valuative criterion for the diagonal
(go to statistics)