Statistics for tag 08BJ
| tag creation | last update | |
|---|---|---|
| Dec 11, 2012 | Dec 15, 2012 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 0 |
| number of results used in preliminary results | 0 |
| number of chapters used | 0 |
| number of sections used | 0 |
| number of results (indirectly) using this tag | 1498 |
Tags (directly) using this result
- Lemma 20.32.1
in Section 20.32: Some properties of K-injective complexes
(go to statistics) - Lemma 20.34.3
in Section 20.34: Cohomology with support in a closed subset, II
(go to statistics) - Lemma 21.20.1
in Section 21.20: Some properties of K-injective complexes
(go to statistics) - Lemma 21.23.1
in Section 21.23: Derived and homotopy limits
(go to statistics) - Lemma 21.37.6
in Section 21.37: Derived lower shriek
(go to statistics) - Lemma 21.37.7
in Section 21.37: Derived lower shriek
(go to statistics) - Lemma 36.7.6
in Section 36.7: The coherator
(go to statistics) - Lemma 48.9.4
in Section 48.9: Right adjoint of pushforward for closed immersions
(go to statistics) - Lemma 59.79.4
in Section 59.79: Cohomology with support in a closed subscheme
(go to statistics) - Lemma 59.99.1
in Section 59.99: Comparing big and small topoi
(go to statistics) - Lemma 61.17.1
in Section 61.17: Comparing big and small topoi
(go to statistics) - Lemma 69.9.4
in Section 69.9: Cohomology with support in a closed subspace
(go to statistics) - Lemma 75.11.6
in Section 75.11: The coherator
(go to statistics) - Lemma 84.5.2
in Section 84.5: Comparing big and small topoi
(go to statistics) - Lemma 85.3.6
in Section 85.3: Simplicial sites and topoi
(go to statistics) - Lemma 96.22.1
in Section 96.22: Comparison
(go to statistics)