Statistics for tag 040Y
| tag creation | last update | |
|---|---|---|
| Jan 14, 2010 | Sep 17, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 460 |
| number of chapters used | 17 |
| number of sections used | 111 |
| number of results (indirectly) using this tag | 898 |
Tags (directly) using this result
- Lemma 67.23.6
in Section 67.23: Morphisms of finite type
(go to statistics) - Lemma 67.25.7
in Section 67.25: Points of finite type
(go to statistics) - Lemma 67.40.2
in Section 67.40: Proper morphisms
(go to statistics) - Proposition 70.8.1
in Section 70.8: Absolute Noetherian approximation
(go to statistics) - Lemma 70.19.2
in Section 70.19: Application to modifications
(go to statistics) - Lemma 71.11.8
in Section 71.11: Relative Proj
(go to statistics) - Lemma 74.8.2
in Section 74.8: Descent of finiteness and smoothness properties of morphisms
(go to statistics) - Lemma 74.11.9
in Section 74.11: Descending properties of morphisms in the fpqc topology
(go to statistics) - Lemma 87.20.10
in Section 87.20: Types of formal algebraic spaces
(go to statistics) - Lemma 87.24.6
in Section 87.24: Morphisms of finite type
(go to statistics)