Statistics for tag 0EFC
| tag creation | last update | |
|---|---|---|
| Jan 10, 2018 | Apr 4, 2018 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 522 |
| number of chapters used | 25 |
| number of sections used | 163 |
| number of results (indirectly) using this tag | 73 |
Tags (directly) using this result
- Lemma 51.10.2
in Section 51.10: Annihilators of local cohomology, I
(go to statistics) - Proposition 51.11.1
in Section 51.11: Finiteness of local cohomology, II
(go to statistics) - Proposition 51.13.2
in Section 51.13: Annihilators of local cohomology, II
(go to statistics) - Lemma 52.8.2
in Section 52.8: Algebraization of local cohomology, I
(go to statistics) - Lemma 52.8.3
in Section 52.8: Algebraization of local cohomology, I
(go to statistics) - Lemma 52.8.4
in Section 52.8: Algebraization of local cohomology, I
(go to statistics) - Theorem 52.10.8
in Section 52.10: Algebraization of local cohomology, III
(go to statistics) - Lemma 52.15.6
in Section 52.15: The completion functor
(go to statistics) - Proposition 52.28.1
in Section 52.28: Application to Lefschetz theorems
(go to statistics)