Statistics for tag 0ALI
| tag creation | last update | |
|---|---|---|
| Jul 30, 2014 | Mar 3, 2023 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 505 |
| number of chapters used | 14 |
| number of sections used | 111 |
| number of results (indirectly) using this tag | 276 |
Tags (directly) using this result
- Lemma 15.11.3
in Section 15.11: Henselian pairs
(go to statistics) - Lemma 15.11.4
in Section 15.11: Henselian pairs
(go to statistics) - Lemma 15.93.10
in Section 15.93: Derived completion for a principal ideal
(go to statistics) - Lemma 58.8.3
in Section 58.8: Topological invariance of the fundamental group
(go to statistics) - Lemma 81.8.1
in Section 81.8: Pushouts and derived categories
(go to statistics) - Lemma 87.4.9
in Section 87.4: Topological rings and modules
(go to statistics) - Lemma 87.19.13
in Section 87.19: Morphisms representable by algebraic spaces
(go to statistics) - Lemma 87.34.4
in Section 87.34: The small étale site of a formal algebraic space
(go to statistics)