Statistics for tag 0BBP
tag creation | last update | |
---|---|---|
May 14, 2015 | May 24, 2018 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 1421 |
number of chapters used | 38 |
number of sections used | 370 |
number of results (indirectly) using this tag | 24 |
Tags (directly) using this result
- Lemma 68.11.6
in Section 68.11: Residue fields and henselian local rings
(go to statistics) - Lemma 70.19.3
in Section 70.19: Application to modifications
(go to statistics) - Lemma 76.52.11
in Section 76.52: Relatively perfect objects
(go to statistics) - Lemma 89.5.4
in Section 89.5: Dominating by normalized blowups
(go to statistics) - Lemma 89.6.1
in Section 89.6: Base change to the completion
(go to statistics) - Lemma 89.6.2
in Section 89.6: Base change to the completion
(go to statistics)