Statistics for tag 03DP
tag creation | last update | |
---|---|---|
Oct 1, 2009 | May 26, 2017 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 3 |
number of chapters used | 1 |
number of sections used | 1 |
number of results (indirectly) using this tag | 1426 |
Tags (directly) using this result
- Lemma 41.7.1
in Section 41.7: Universally injective, unramified morphisms
(go to statistics) - Lemma 66.4.11
in Section 66.4: Points of algebraic spaces
(go to statistics) - Lemma 66.16.8
in Section 66.16: Étale morphisms of algebraic spaces
(go to statistics) - Lemma 67.10.8
in Section 67.10: Monomorphisms
(go to statistics) - Lemma 67.24.2
in Section 67.24: Points and geometric points
(go to statistics) - Lemma 68.4.3
in Section 68.4: Finiteness conditions and points
(go to statistics) - Lemma 68.4.5
in Section 68.4: Finiteness conditions and points
(go to statistics) - Lemma 68.12.8
in Section 68.12: Points on decent spaces
(go to statistics) - Lemma 68.13.5
in Section 68.13: Reduced singleton spaces
(go to statistics) - Lemma 68.15.2
in Section 68.15: Locally separated spaces
(go to statistics) - Lemma 68.17.8
in Section 68.17: Relative conditions
(go to statistics)