Statistics for tag 04AK
tag creation | last update | |
---|---|---|
Mar 1, 2010 | Dec 11, 2016 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 9 |
number of results used in preliminary results | 823 |
number of chapters used | 30 |
number of sections used | 222 |
number of results (indirectly) using this tag | 552 |
Tags (directly) using this result
- Lemma 70.3.12
in Section 70.3: Morphisms of finite presentation
(go to statistics) - Lemma 70.7.1
in Section 70.7: Descending relative objects
(go to statistics) - Proposition 70.16.1
in Section 70.16: Finite cover by a scheme
(go to statistics) - Lemma 70.16.3
in Section 70.16: Finite cover by a scheme
(go to statistics) - Lemma 70.23.4
in Section 70.23: Descending finite type spaces
(go to statistics) - Lemma 77.8.5
in Section 77.8: Making a map zero
(go to statistics) - Lemma 97.5.3
in Section 97.5: Limit preserving on objects
(go to statistics) - Lemma 97.12.7
in Section 97.12: Finite Hilbert stacks
(go to statistics) - Lemma 98.11.3
in Section 98.11: Limit preserving
(go to statistics) - Lemma 102.3.5
in Section 102.3: Morphisms of finite presentation
(go to statistics) - Lemma 102.3.7
in Section 102.3: Morphisms of finite presentation
(go to statistics)