Statistics for tag 03JX
tag creation | last update | |
---|---|---|
Nov 6, 2009 | May 5, 2018 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 8 |
number of results used in preliminary results | 1196 |
number of chapters used | 35 |
number of sections used | 308 |
number of results (indirectly) using this tag | 737 |
Tags (directly) using this result
- Lemma 68.5.2
in Section 68.5: Conditions on algebraic spaces
(go to statistics) - Lemma 68.8.6
in Section 68.8: Stratifying algebraic spaces by schemes
(go to statistics) - Lemma 68.9.2
in Section 68.9: Integral cover by a scheme
(go to statistics) - Lemma 68.9.3
in Section 68.9: Integral cover by a scheme
(go to statistics) - Lemma 68.11.1
in Section 68.11: Residue fields and henselian local rings
(go to statistics) - Lemma 68.12.1
in Section 68.12: Points on decent spaces
(go to statistics) - Lemma 68.12.2
in Section 68.12: Points on decent spaces
(go to statistics) - Lemma 68.17.2
in Section 68.17: Relative conditions
(go to statistics) - Lemma 69.7.3
in Section 69.7: Higher vanishing for quasi-coherent sheaves
(go to statistics) - Lemma 69.18.1
in Section 69.18: A weak version of Chow's lemma
(go to statistics) - Lemma 115.16.4
in Section 115.16: Very reasonable algebraic spaces
(go to statistics)