Statistics for tag 0A7V
tag creation | last update | |
---|---|---|
May 8, 2014 | Feb 18, 2018 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 4 |
number of results used in preliminary results | 497 |
number of chapters used | 23 |
number of sections used | 156 |
number of results (indirectly) using this tag | 173 |
Tags (directly) using this result
- Lemma 47.17.3
in Section 47.17: Dualizing complexes and dimension functions
(go to statistics) - Lemma 47.17.5
in Section 47.17: Dualizing complexes and dimension functions
(go to statistics) - Lemma 47.25.6
in Section 47.25: Relative dualizing complexes in the Noetherian case
(go to statistics) - Lemma 51.4.9
in Section 51.4: Cohomological dimension
(go to statistics) - Lemma 51.16.4
in Section 51.16: Hartshorne-Lichtenbaum vanishing
(go to statistics)