Statistics for tag 01F2
tag creation | last update | |
---|---|---|
Apr 22, 2009 | Jul 9, 2012 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 147 |
number of chapters used | 6 |
number of sections used | 42 |
number of results (indirectly) using this tag | 2746 |
Tags (directly) using this result
- Lemma 30.3.4
in Section 30.3: Vanishing of cohomology
(go to statistics) - Lemma 30.4.6
in Section 30.4: Quasi-coherence of higher direct images
(go to statistics) - Lemma 33.33.5
in Section 33.33: Euler characteristics
(go to statistics) - Lemma 33.38.7
in Section 33.38: One dimensional Noetherian schemes
(go to statistics) - Lemma 53.15.5
in Section 53.15: Glueing and squishing
(go to statistics) - Lemma 53.15.6
in Section 53.15: Glueing and squishing
(go to statistics) - Lemma 54.8.1
in Section 54.8: Boundedness
(go to statistics)