Statistics for tag 0D7M
tag creation | last update | |
---|---|---|
Jan 30, 2017 | Feb 3, 2017 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 33 |
number of chapters used | 4 |
number of sections used | 20 |
number of results (indirectly) using this tag | 24 |
Tags (directly) using this result
- Lemma 85.28.1
in Section 85.28: Quasi-coherent modules on simplicial schemes
(go to statistics) - Lemma 85.28.2
in Section 85.28: Quasi-coherent modules on simplicial schemes
(go to statistics) - Lemma 85.29.2
in Section 85.29: Groupoids and simplicial schemes
(go to statistics) - Lemma 85.34.2
in Section 85.34: Fppf hypercoverings of algebraic spaces: modules
(go to statistics) - Lemma 85.34.4
in Section 85.34: Fppf hypercoverings of algebraic spaces: modules
(go to statistics)