Statistics for tag 0A02
| tag creation | last update | |
|---|---|---|
| Feb 8, 2014 | Jun 5, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 6 |
| number of results used in preliminary results | 521 |
| number of chapters used | 14 |
| number of sections used | 113 |
| number of results (indirectly) using this tag | 521 |
Tags (directly) using this result
- Lemma 15.12.2
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 15.12.3
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 15.12.4
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 15.12.6
in Section 15.12: Henselization of pairs
(go to statistics) - Lemma 59.82.8
in Section 59.82: Affine analog of proper base change
(go to statistics) - Lemma 88.6.2
in Section 88.6: Algebraization of rig-smooth algebras over G-rings
(go to statistics) - Proposition 88.6.3
in Section 88.6: Algebraization of rig-smooth algebras over G-rings
(go to statistics) - Lemma 88.6.4
in Section 88.6: Algebraization of rig-smooth algebras over G-rings
(go to statistics) - Lemma 88.8.7
in Section 88.8: Rig-étale algebras
(go to statistics)