Statistics for tag 0D7U
tag creation | last update | |
---|---|---|
Feb 3, 2017 | Jul 20, 2021 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 5 |
number of results used in preliminary results | 17 |
number of chapters used | 3 |
number of sections used | 9 |
number of results (indirectly) using this tag | 57 |
Tags (directly) using this result
- Lemma 21.28.6
in Section 21.28: Formalities on cohomological descent
(go to statistics) - Lemma 21.30.9
in Section 21.30: Comparing cohomology
(go to statistics) - Lemma 61.19.8
in Section 61.19: Comparison with the étale site
(go to statistics) - Lemma 85.17.5
in Section 85.17: Cohomological descent for hypercoverings
(go to statistics) - Lemma 85.18.4
in Section 85.18: Cohomological descent for hypercoverings: modules
(go to statistics) - Lemma 85.25.5
in Section 85.25: Proper hypercoverings in topology
(go to statistics) - Lemma 85.33.5
in Section 85.33: Fppf hypercoverings of algebraic spaces
(go to statistics) - Lemma 85.36.5
in Section 85.36: Proper hypercoverings of algebraic spaces
(go to statistics)