Statistics for tag 01T3
| tag creation | last update | |
|---|---|---|
| Jan 11, 2009 | Feb 24, 2014 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 23 |
| number of chapters used | 4 |
| number of sections used | 13 |
| number of results (indirectly) using this tag | 2717 |
Tags (directly) using this result
- Lemma 29.16.2
in Section 29.16: Points of finite type and Jacobson schemes
(go to statistics) - Lemma 29.16.5
in Section 29.16: Points of finite type and Jacobson schemes
(go to statistics) - Lemma 29.17.2
in Section 29.17: Universally catenary schemes
(go to statistics) - Lemma 29.19.2
in Section 29.19: The singular locus, reprise
(go to statistics) - Lemma 29.40.3
in Section 29.40: Quasi-projective morphisms
(go to statistics) - Lemma 29.41.4
in Section 29.41: Proper morphisms
(go to statistics) - Lemma 30.26.1
in Section 30.26: Being proper over a base
(go to statistics) - Lemma 30.26.5
in Section 30.26: Being proper over a base
(go to statistics) - Lemma 33.3.3
in Section 33.3: Varieties
(go to statistics) - Lemma 34.8.8
in Section 34.8: The ph topology
(go to statistics) - Lemma 35.28.2
in Section 35.28: Properties of morphisms local in the fppf topology on the source
(go to statistics) - Lemma 40.9.1
in Section 40.9: Restricting groupoids
(go to statistics) - Lemma 67.23.2
in Section 67.23: Morphisms of finite type
(go to statistics)