Statistics for tag 06CX
tag creation | last update | |
---|---|---|
May 17, 2011 | Jun 28, 2016 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 827 |
number of chapters used | 30 |
number of sections used | 222 |
number of results (indirectly) using this tag | 130 |
Tags (directly) using this result
- Lemma 97.5.4
in Section 97.5: Limit preserving on objects
(go to statistics) - Theorem 97.16.1
in Section 97.16: Bootstrapping algebraic stacks
(go to statistics) - Lemma 102.3.5
in Section 102.3: Morphisms of finite presentation
(go to statistics) - Proposition 102.3.8
in Section 102.3: Morphisms of finite presentation
(go to statistics)