Statistics for tag 02LS
| tag creation | last update | |
|---|---|---|
| Jun 11, 2009 | Dec 9, 2019 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 9 |
| number of results used in preliminary results | 798 |
| number of chapters used | 28 |
| number of sections used | 217 |
| number of results (indirectly) using this tag | 1004 |
Tags (directly) using this result
- Lemma 37.44.2
in Section 37.44: Applications of Zariski's Main Theorem, I
(go to statistics) - Lemma 37.45.2
in Section 37.45: Applications of Zariski's Main Theorem, II
(go to statistics) - Lemma 37.45.3
in Section 37.45: Applications of Zariski's Main Theorem, II
(go to statistics) - Lemma 38.11.4
in Section 38.11: Extending properties from an open
(go to statistics) - Lemma 41.7.2
in Section 41.7: Universally injective, unramified morphisms
(go to statistics) - Lemma 44.3.1
in Section 44.3: Moduli of divisors on smooth curves
(go to statistics) - Lemma 44.3.2
in Section 44.3: Moduli of divisors on smooth curves
(go to statistics) - Lemma 54.16.4
in Section 54.16: Contracting exceptional curves
(go to statistics) - Lemma 58.18.1
in Section 58.18: Pushouts and fundamental groups
(go to statistics) - Lemma 59.92.2
in Section 59.92: Applications of proper base change
(go to statistics) - Lemma 63.3.2
in Section 63.3: Sections with compact support
(go to statistics) - Lemma 67.43.2
in Section 67.43: Valuative criterion of separatedness
(go to statistics)