Statistics for tag 03LX
tag creation | last update | |
---|---|---|
Dec 15, 2009 | May 30, 2012 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 46 |
number of chapters used | 9 |
number of sections used | 16 |
number of results (indirectly) using this tag | 782 |
Tags (directly) using this result
- Lemma 67.13.1
in Section 67.13: Closed immersions
(go to statistics) - Lemma 67.21.6
in Section 67.21: Quasi-affine morphisms
(go to statistics) - Lemma 67.46.1
in Section 67.46: Finite locally free morphisms
(go to statistics) - Lemma 69.3.1
in Section 69.3: Higher direct images
(go to statistics) - Lemma 69.3.2
in Section 69.3: Higher direct images
(go to statistics) - Lemma 69.8.1
in Section 69.8: Vanishing for higher direct images
(go to statistics) - Lemma 69.15.2
in Section 69.15: Limits of coherent modules
(go to statistics) - Lemma 69.20.2
in Section 69.20: Higher direct images of coherent sheaves
(go to statistics) - Lemma 71.14.5
in Section 71.14: Relatively ample sheaves
(go to statistics) - Lemma 75.3.1
in Section 75.3: Generalities
(go to statistics)