Statistics for tag 01YB
tag creation | last update | |
---|---|---|
May 7, 2009 | Jan 20, 2022 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 7 |
number of results used in preliminary results | 71 |
number of chapters used | 9 |
number of sections used | 43 |
number of results (indirectly) using this tag | 1718 |
Tags (directly) using this result
- Lemma 30.10.6
in Section 30.10: Coherent sheaves on Noetherian schemes
(go to statistics) - Lemma 30.12.2
in Section 30.12: Devissage of coherent sheaves
(go to statistics) - Lemma 36.8.1
in Section 36.8: The coherator for Noetherian schemes
(go to statistics) - Lemma 36.36.6
in Section 36.36: The resolution property
(go to statistics) - Lemma 48.30.1
in Section 48.30: Extension by zero for coherent modules
(go to statistics) - Lemma 51.8.1
in Section 51.8: Finiteness of pushforwards, I
(go to statistics) - Lemma 51.8.4
in Section 51.8: Finiteness of pushforwards, I
(go to statistics) - Lemma 52.4.1
in Section 52.4: Formal sections, III
(go to statistics) - Lemma 52.4.3
in Section 52.4: Formal sections, III
(go to statistics) - Lemma 52.12.1
in Section 52.12: Algebraization of formal sections, II
(go to statistics) - Lemma 52.25.1
in Section 52.25: Coherent triples
(go to statistics) - Lemma 52.25.2
in Section 52.25: Coherent triples
(go to statistics) - Lemma 52.25.3
in Section 52.25: Coherent triples
(go to statistics) - Lemma 57.9.1
in Section 57.9: Resolutions and bounds
(go to statistics) - Lemma 69.13.4
in Section 69.13: Coherent sheaves on Noetherian spaces
(go to statistics) - Lemma 71.8.4
in Section 71.8: Effective Cartier divisors on Noetherian spaces
(go to statistics)