Statistics for tag 0233
tag creation | last update | |
---|---|---|
Feb 7, 2009 | Apr 29, 2021 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 0 |
number of results used in preliminary results | 0 |
number of chapters used | 0 |
number of sections used | 0 |
number of results (indirectly) using this tag | 707 |
Tags (directly) using this result
- Lemma 39.15.1
in Section 39.15: Colimits of quasi-coherent modules
(go to statistics) - Lemma 39.20.7
in Section 39.20: Quotient sheaves
(go to statistics) - Lemma 80.8.1
in Section 80.8: Slicing equivalence relations
(go to statistics)