Statistics for tag 015J
| tag creation | last update | |
|---|---|---|
| Apr 19, 2009 | Dec 13, 2020 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 10 |
| number of chapters used | 1 |
| number of sections used | 3 |
| number of results (indirectly) using this tag | 3236 |
Tags (directly) using this result
- Lemma 13.22.2
in Section 13.22: Composition of right derived functors
(go to statistics) - Lemma 13.32.2
in Section 13.32: Bounded cohomological dimension
(go to statistics) - Lemma 15.69.5
in Section 15.69: Injective dimension
(go to statistics) - Lemma 15.86.3
in Section 15.86: Rlim of abelian groups
(go to statistics) - Lemma 21.23.11
in Section 21.23: Derived and homotopy limits
(go to statistics) - Lemma 21.25.3
in Section 21.25: Bounded cohomological dimension
(go to statistics) - Lemma 21.25.4
in Section 21.25: Bounded cohomological dimension
(go to statistics) - Lemma 21.25.6
in Section 21.25: Bounded cohomological dimension
(go to statistics) - Lemma 30.8.4
in Section 30.8: Cohomology of projective space
(go to statistics) - Lemma 36.4.1
in Section 36.4: Total direct image
(go to statistics) - Lemma 36.4.5
in Section 36.4: Total direct image
(go to statistics) - Lemma 36.9.6
in Section 36.9: Koszul complexes
(go to statistics) - Lemma 36.11.3
in Section 36.11: Derived category of coherent modules
(go to statistics) - Lemma 36.23.2
in Section 36.23: Künneth formula, II
(go to statistics) - Lemma 46.4.10
in Section 46.4: Higher exts of adequate functors
(go to statistics) - Lemma 46.7.5
in Section 46.7: Derived categories of adequate modules, I
(go to statistics) - Lemma 47.10.1
in Section 47.10: Local cohomology for Noetherian rings
(go to statistics) - Lemma 50.3.2
in Section 50.3: de Rham cohomology
(go to statistics) - Lemma 51.5.4
in Section 51.5: More general supports
(go to statistics) - Lemma 52.6.20
in Section 52.6: Derived completion on a ringed site
(go to statistics) - Lemma 59.52.1
in Section 59.52: Colimits and complexes
(go to statistics) - Lemma 59.52.5
in Section 59.52: Colimits and complexes
(go to statistics) - Lemma 59.55.5
in Section 59.55: Vanishing of finite higher direct images
(go to statistics) - Lemma 59.78.1
in Section 59.78: Torsion sheaves
(go to statistics) - Lemma 59.89.3
in Section 59.89: Smooth base change
(go to statistics) - Lemma 59.91.12
in Section 59.91: The proper base change theorem
(go to statistics) - Lemma 59.101.3
in Section 59.101: Comparing fppf and étale topologies: modules
(go to statistics) - Lemma 63.13.3
in Section 63.13: A constructibility result
(go to statistics) - Theorem 63.14.5
in Section 63.14: Complexes with constructible cohomology
(go to statistics) - Lemma 75.6.1
in Section 75.6: Total direct image
(go to statistics) - Lemma 75.6.2
in Section 75.6: Total direct image
(go to statistics) - Lemma 75.8.1
in Section 75.8: Derived category of coherent modules
(go to statistics) - Lemma 84.4.7
in Section 84.4: Proper base change
(go to statistics) - Lemma 115.8.6
in Section 115.8: Cohomology
(go to statistics)