Statistics for tag 00KV
| tag creation | last update | |
|---|---|---|
| Jun 9, 2008 | Oct 22, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 43 |
| number of chapters used | 11 |
| number of sections used | 15 |
| number of results (indirectly) using this tag | 1266 |
Tags (directly) using this result
- Lemma 10.119.1
in Section 10.119: Around Krull-Akizuki
(go to statistics) - Lemma 10.120.6
in Section 10.120: Factorization
(go to statistics) - Lemma 10.157.6
in Section 10.157: Serre's criterion for normality
(go to statistics) - Lemma 15.123.4
in Section 15.123: Extensions of valuation rings
(go to statistics) - Lemma 15.125.5
in Section 15.125: Principal radical ideals
(go to statistics) - Proposition 15.125.10
in Section 15.125: Principal radical ideals
(go to statistics) - Lemma 31.15.3
in Section 31.15: Effective Cartier divisors on Noetherian schemes
(go to statistics) - Lemma 31.15.11
in Section 31.15: Effective Cartier divisors on Noetherian schemes
(go to statistics) - Lemma 31.28.1
in Section 31.28: More on invertible modules
(go to statistics) - Lemma 37.52.1
in Section 37.52: Closed points in fibres
(go to statistics) - Lemma 37.52.4
in Section 37.52: Closed points in fibres
(go to statistics) - Lemma 82.12.1
in Section 82.12: Preparation for principal divisors
(go to statistics)