Statistics for tag 04Y4
tag creation | last update | |
---|---|---|
Jul 14, 2010 | Jul 14, 2010 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 24 |
number of chapters used | 4 |
number of sections used | 14 |
number of results (indirectly) using this tag | 178 |
Tags (directly) using this result
- Lemma 78.22.2
in Section 78.22: The 2-cartesian square of a quotient stack
(go to statistics) - Lemma 78.25.3
in Section 78.25: Restriction and quotient stacks
(go to statistics) - Lemma 101.32.2
in Section 101.32: Étale local structure
(go to statistics)