Statistics for tag 01FM
| tag creation | last update | |
|---|---|---|
| Apr 12, 2009 | Apr 13, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 4 |
| number of chapters used | 1 |
| number of sections used | 2 |
| number of results (indirectly) using this tag | 2900 |
Tags (directly) using this result
- Lemma 20.23.7
in Section 20.23: The alternating Čech complex
(go to statistics) - Lemma 20.40.1
in Section 20.40: Čech cohomology of unbounded complexes
(go to statistics) - Lemma 20.40.2
in Section 20.40: Čech cohomology of unbounded complexes
(go to statistics) - Lemma 30.4.2
in Section 30.4: Quasi-coherence of higher direct images
(go to statistics) - Lemma 30.8.1
in Section 30.8: Cohomology of projective space
(go to statistics) - Lemma 30.22.1
in Section 30.22: Cohomology and base change, III
(go to statistics) - Lemma 36.23.3
in Section 36.23: Künneth formula, II
(go to statistics)