Statistics for tag 0D6D
tag creation | last update | |
---|---|---|
Jan 2, 2017 | Dec 12, 2020 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 128 |
number of chapters used | 7 |
number of sections used | 45 |
number of results (indirectly) using this tag | 186 |
Tags (directly) using this result
- Lemma 21.19.2
in Section 21.19: Cohomology of unbounded complexes
(go to statistics) - Lemma 21.43.10
in Section 21.43: Modules on a category
(go to statistics) - Lemma 85.12.2
in Section 85.12: Cartesian sheaves and modules
(go to statistics)