Statistics for tag 087T
| tag creation | last update | |
|---|---|---|
| Oct 11, 2012 | Oct 11, 2012 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 84 |
| number of chapters used | 11 |
| number of sections used | 44 |
| number of results (indirectly) using this tag | 1686 |
Tags (directly) using this result
- Lemma 30.12.2
in Section 30.12: Devissage of coherent sheaves
(go to statistics) - Lemma 30.14.2
in Section 30.14: Coherent sheaves on Proj, I
(go to statistics) - Lemma 30.16.1
in Section 30.16: Higher direct images along projective morphisms
(go to statistics) - Lemma 30.21.3
in Section 30.21: Applications of the theorem on formal functions
(go to statistics) - Lemma 30.23.10
in Section 30.23: Coherent formal modules
(go to statistics) - Lemma 30.25.2
in Section 30.25: Grothendieck's existence theorem, II
(go to statistics) - Proposition 30.25.4
in Section 30.25: Grothendieck's existence theorem, II
(go to statistics) - Theorem 30.27.1
in Section 30.27: Grothendieck's existence theorem, III
(go to statistics) - Lemma 33.35.3
in Section 33.35: Coherent sheaves on projective space
(go to statistics) - Lemma 33.44.6
in Section 33.44: Degrees on curves
(go to statistics) - Lemma 57.9.3
in Section 57.9: Resolutions and bounds
(go to statistics) - Lemma 69.12.8
in Section 69.12: Coherent modules on locally Noetherian algebraic spaces
(go to statistics)