Statistics for tag 00ME
| tag creation | last update | |
|---|---|---|
| Jun 11, 2008 | Jul 15, 2025 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 20 |
| number of chapters used | 6 |
| number of sections used | 10 |
| number of results (indirectly) using this tag | 4162 |
Tags (directly) using this result
- Lemma 10.99.2
in Section 10.99: Criteria for flatness
(go to statistics) - Lemma 10.99.4
in Section 10.99: Criteria for flatness
(go to statistics) - Lemma 10.99.5
in Section 10.99: Criteria for flatness
(go to statistics) - Lemma 10.128.4
in Section 10.128: More flatness criteria
(go to statistics) - Lemma 10.135.12
in Section 10.135: Local complete intersections
(go to statistics) - Lemma 10.163.1
in Section 10.163: Ascending properties
(go to statistics) - Proposition 15.40.5
in Section 15.40: Geometric regularity and formal smoothness
(go to statistics) - Lemma 33.21.2
in Section 33.21: Complete local rings
(go to statistics) - Lemma 37.72.7
in Section 37.72: Contracting rational curves
(go to statistics) - Lemma 38.25.2
in Section 38.25: Variants of a lemma
(go to statistics) - Theorem 41.9.2
in Section 41.9: Flat morphisms
(go to statistics) - Lemma 47.27.4
in Section 47.27: Relative dualizing complexes
(go to statistics) - Lemma 53.20.11
in Section 53.20: Families of nodal curves
(go to statistics)