Statistics for tag 00R4
| tag creation | last update | |
|---|---|---|
| Jan 15, 2009 | Jan 18, 2023 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 5 |
| number of results used in preliminary results | 117 |
| number of chapters used | 7 |
| number of sections used | 40 |
| number of results (indirectly) using this tag | 3232 |
Tags (directly) using this result
- Lemma 10.130.1
in Section 10.130: Openness of Cohen-Macaulay loci
(go to statistics) - Lemma 10.151.9
in Section 10.151: Unramified ring maps
(go to statistics) - Lemma 16.3.4
in Section 16.3: Presentations of algebras
(go to statistics) - Lemma 37.17.1
in Section 37.17: Closed immersions between smooth schemes
(go to statistics) - Lemma 39.9.8
in Section 39.9: Abelian varieties
(go to statistics) - Lemma 44.6.7
in Section 44.6: The Picard scheme of a curve
(go to statistics) - Lemma 49.12.6
in Section 49.12: A formula for the different
(go to statistics) - Lemma 50.19.5
in Section 50.19: Trace maps on de Rham complexes
(go to statistics) - Proposition 50.22.1
in Section 50.22: A Weil cohomology theory
(go to statistics) - Lemma 51.17.6
in Section 51.17: Frobenius action
(go to statistics) - Theorem 54.14.5
in Section 54.14: Resolution
(go to statistics) - Lemma 58.21.3
in Section 58.21: Purity of branch locus
(go to statistics) - Theorem 89.8.3
in Section 89.8: Resolution
(go to statistics)