Statistics for tag 04N4
tag creation | last update | |
---|---|---|
Jun 7, 2010 | Oct 9, 2010 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 6 |
number of results used in preliminary results | 626 |
number of chapters used | 20 |
number of sections used | 164 |
number of results (indirectly) using this tag | 452 |
Tags (directly) using this result
- Lemma 35.33.8
in Section 35.33: Properties of morphisms of germs local on source-and-target
(go to statistics) - Lemma 38.4.8
in Section 38.4: One step dévissage
(go to statistics) - Lemma 38.27.2
in Section 38.27: Universal flattening
(go to statistics) - Lemma 107.5.21
in Section 107.5: Dimension theory of algebraic stacks
(go to statistics)