Statistics for tag 01L4
| tag creation | last update | |
|---|---|---|
| Feb 6, 2009 | May 16, 2009 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 1 |
| number of chapters used | 1 |
| number of sections used | 1 |
| number of results (indirectly) using this tag | 3128 |
Tags (directly) using this result
- Lemma 26.24.2
in Section 26.24: Functoriality for quasi-coherent modules
(go to statistics) - Lemma 29.20.15
in Section 29.20: Quasi-finite morphisms
(go to statistics) - Lemma 29.21.12
in Section 29.21: Morphisms of finite presentation
(go to statistics) - Lemma 41.7.2
in Section 41.7: Universally injective, unramified morphisms
(go to statistics) - Lemma 65.10.4
in Section 65.10: Algebraic spaces and equivalence relations
(go to statistics) - Lemma 65.13.1
in Section 65.13: Separation conditions on algebraic spaces
(go to statistics) - Lemma 67.4.1
in Section 67.4: Separation axioms
(go to statistics) - Lemma 87.11.2
in Section 87.11: Formal algebraic spaces
(go to statistics)