Statistics for tag 01TR
| tag creation | last update | |
|---|---|---|
| Jan 2, 2009 | Feb 4, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 5 |
| number of results used in preliminary results | 120 |
| number of chapters used | 15 |
| number of sections used | 55 |
| number of results (indirectly) using this tag | 1505 |
Tags (directly) using this result
- Lemma 31.18.9
in Section 31.18: Relative effective Cartier divisors
(go to statistics) - Lemma 31.22.7
in Section 31.22: Relative regular immersions
(go to statistics) - Lemma 32.9.3
in Section 32.9: Finite type closed in finite presentation
(go to statistics) - Lemma 32.9.5
in Section 32.9: Finite type closed in finite presentation
(go to statistics) - Lemma 34.7.3
in Section 34.7: The fppf topology
(go to statistics) - Lemma 35.28.1
in Section 35.28: Properties of morphisms local in the fppf topology on the source
(go to statistics) - Lemma 37.46.1
in Section 37.46: Application to morphisms with connected fibres
(go to statistics) - Lemma 38.3.3
in Section 38.3: The local structure of a finite type module
(go to statistics) - Lemma 38.33.2
in Section 38.33: Nagata compactification
(go to statistics) - Lemma 40.9.1
in Section 40.9: Restricting groupoids
(go to statistics) - Lemma 53.20.6
in Section 53.20: Families of nodal curves
(go to statistics) - Lemma 53.20.7
in Section 53.20: Families of nodal curves
(go to statistics) - Lemma 67.28.2
in Section 67.28: Morphisms of finite presentation
(go to statistics)