Statistics for tag 081E
| tag creation | last update | |
|---|---|---|
| Jul 27, 2012 | Jul 30, 2012 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 655 |
| number of chapters used | 22 |
| number of sections used | 178 |
| number of results (indirectly) using this tag | 520 |
Tags (directly) using this result
- Lemma 32.8.12
in Section 32.8: Descending properties of morphisms
(go to statistics) - Lemma 32.8.14
in Section 32.8: Descending properties of morphisms
(go to statistics) - Lemma 32.22.9
in Section 32.22: Descending finite type schemes
(go to statistics) - Lemma 39.23.7
in Section 39.23: Finite flat groupoids, affine case
(go to statistics) - Lemma 70.5.8
in Section 70.5: Descending properties
(go to statistics) - Lemma 98.27.11
in Section 98.27: Artin's theorem on contractions
(go to statistics)