Statistics for tag 0BTP
| tag creation | last update | |
|---|---|---|
| Sep 26, 2015 | Aug 31, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 17 |
| number of results used in preliminary results | 1265 |
| number of chapters used | 32 |
| number of sections used | 322 |
| number of results (indirectly) using this tag | 443 |
Tags (directly) using this result
- Proposition 58.8.4
in Section 58.8: Topological invariance of the fundamental group
(go to statistics) - Theorem 59.45.2
in Section 59.45: Topological invariance of the small étale site
(go to statistics)