Statistics for tag 05VW
tag creation | last update | |
---|---|---|
Feb 26, 2011 | Mar 3, 2011 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 22 |
number of chapters used | 6 |
number of sections used | 10 |
number of results (indirectly) using this tag | 193 |
Tags (directly) using this result
- Proposition 67.32.1
in Section 67.32: Generic flatness
(go to statistics) - Lemma 76.22.2
in Section 76.22: Openness of the flat locus
(go to statistics) - Lemma 76.23.1
in Section 76.23: Critère de platitude par fibres
(go to statistics) - Lemma 77.4.6
in Section 77.4: Flat finite type modules
(go to statistics) - Lemma 77.7.9
in Section 77.7: Flattening functors
(go to statistics) - Lemma 101.25.4
in Section 101.25: Flat morphisms
(go to statistics) - Lemma 101.26.1
in Section 101.26: Flat at a point
(go to statistics)