Statistics for tag 07K7
| tag creation | last update | |
|---|---|---|
| Mar 6, 2012 | Jun 6, 2020 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 90 |
| number of chapters used | 4 |
| number of sections used | 27 |
| number of results (indirectly) using this tag | 409 |
Tags (directly) using this result
- Lemma 13.32.3
in Section 13.32: Bounded cohomological dimension
(go to statistics) - Lemma 15.86.1
in Section 15.86: Rlim of abelian groups
(go to statistics) - Lemma 20.53.1
in Section 20.53: Compact objects
(go to statistics) - Lemma 21.52.5
in Section 21.52: Compact objects
(go to statistics) - Lemma 59.92.3
in Section 59.92: Applications of proper base change
(go to statistics) - Lemma 59.96.3
in Section 59.96: Finite cohomological dimension
(go to statistics) - Lemma 63.8.1
in Section 63.8: Preliminaries to derived lower shriek via compactifications
(go to statistics) - Lemma 63.8.6
in Section 63.8: Preliminaries to derived lower shriek via compactifications
(go to statistics) - Lemma 63.10.2
in Section 63.10: Properties of derived lower shriek
(go to statistics) - Lemma 63.13.3
in Section 63.13: A constructibility result
(go to statistics)