Statistics for tag 0BXW
| tag creation | last update | |
|---|---|---|
| Feb 7, 2016 | Nov 3, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 6 |
| number of results used in preliminary results | 1128 |
| number of chapters used | 31 |
| number of sections used | 291 |
| number of results (indirectly) using this tag | 132 |
Tags (directly) using this result
- Lemma 33.43.7
in Section 33.43: Curves
(go to statistics) - Lemma 33.43.10
in Section 33.43: Curves
(go to statistics) - Lemma 53.2.5
in Section 53.2: Curves and function fields
(go to statistics) - Theorem 53.2.6
in Section 53.2: Curves and function fields
(go to statistics) - Lemma 93.17.7
in Section 93.17: Smoothings
(go to statistics)