Statistics for tag 03KP
tag creation | last update | |
---|---|---|
Nov 11, 2009 | Feb 27, 2014 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 1096 |
number of chapters used | 33 |
number of sections used | 286 |
number of results (indirectly) using this tag | 915 |
Tags (directly) using this result
- Lemma 67.8.9
in Section 67.8: Quasi-compact morphisms
(go to statistics) - Lemma 67.12.2
in Section 67.12: Immersions
(go to statistics) - Lemma 67.16.7
in Section 67.16: Scheme theoretic image
(go to statistics) - Lemma 67.41.4
in Section 67.41: Valuative criteria
(go to statistics) - Lemma 67.45.12
in Section 67.45: Integral and finite morphisms
(go to statistics) - Lemma 76.43.3
in Section 76.43: Grothendieck's algebraization theorem
(go to statistics) - Lemma 78.6.1
in Section 78.6: Properties of group algebraic spaces
(go to statistics) - Lemma 78.29.2
in Section 78.29: Separation conditions
(go to statistics) - Lemma 96.17.2
in Section 96.17: Injective sheaves
(go to statistics) - Lemma 97.9.2
in Section 97.9: Spaces of sections
(go to statistics) - Proposition 99.4.3
in Section 99.4: The Isom functor
(go to statistics)