Statistics for tag 03XR
| tag creation | last update | |
|---|---|---|
| Jan 1, 2010 | Jul 19, 2021 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 124 |
| number of chapters used | 15 |
| number of sections used | 58 |
| number of results (indirectly) using this tag | 499 |
Tags (directly) using this result
- Lemma 70.10.2
in Section 70.10: Relative approximation
(go to statistics) - Lemma 70.11.6
in Section 70.11: Finite type closed in finite presentation
(go to statistics) - Lemma 70.19.2
in Section 70.19: Application to modifications
(go to statistics) - Lemma 79.8.1
in Section 79.8: Restricting groupoids
(go to statistics) - Lemma 79.12.14
in Section 79.12: The finite part of a morphism
(go to statistics) - Lemma 80.11.6
in Section 80.11: Applications
(go to statistics) - Lemma 99.12.1
in Section 99.12: Relative morphisms
(go to statistics) - Lemma 99.13.1
in Section 99.13: The stack of algebraic spaces
(go to statistics) - Lemma 101.27.3
in Section 101.27: Morphisms of finite presentation
(go to statistics)