Statistics for tag 02O6
| tag creation | last update | |
|---|---|---|
| Jul 13, 2009 | Mar 3, 2023 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 600 |
| number of chapters used | 26 |
| number of sections used | 186 |
| number of results (indirectly) using this tag | 1145 |
Tags (directly) using this result
- Lemma 30.19.3
in Section 30.19: Higher direct images of coherent sheaves
(go to statistics) - Lemma 30.20.6
in Section 30.20: The theorem on formal functions
(go to statistics) - Lemma 30.21.3
in Section 30.21: Applications of the theorem on formal functions
(go to statistics) - Lemma 30.22.1
in Section 30.22: Cohomology and base change, III
(go to statistics) - Lemma 32.19.3
in Section 32.19: Base change in top degree
(go to statistics) - Lemma 33.9.3
in Section 33.9: Geometrically integral schemes
(go to statistics) - Lemma 33.43.10
in Section 33.43: Curves
(go to statistics) - Lemma 37.72.5
in Section 37.72: Contracting rational curves
(go to statistics) - Lemma 38.39.5
in Section 38.39: Descent vector bundles in positive characteristic
(go to statistics) - Lemma 48.27.7
in Section 48.27: Duality for proper schemes over fields
(go to statistics) - Lemma 50.20.3
in Section 50.20: Poincaré duality
(go to statistics) - Lemma 53.4.4
in Section 53.4: Duality
(go to statistics) - Lemma 54.13.1
in Section 54.13: Implied properties
(go to statistics) - Lemma 54.13.3
in Section 54.13: Implied properties
(go to statistics) - Lemma 59.63.5
in Section 59.63: The Artin-Schreier sequence
(go to statistics)