Statistics for tag 035Z
| tag creation | last update | |
|---|---|---|
| Aug 29, 2009 | Jun 17, 2024 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 91 |
| number of chapters used | 13 |
| number of sections used | 37 |
| number of results (indirectly) using this tag | 243 |
Tags (directly) using this result
- Theorem 37.33.8
in Section 37.33: Theorem of the cube
(go to statistics) - Lemma 39.7.6
in Section 39.7: Properties of group schemes over a field
(go to statistics) - Lemma 39.7.10
in Section 39.7: Properties of group schemes over a field
(go to statistics) - Lemma 40.11.4
in Section 40.11: Morphisms of groupoids on fields
(go to statistics) - Lemma 40.11.8
in Section 40.11: Morphisms of groupoids on fields
(go to statistics) - Lemma 53.21.7
in Section 53.21: More vanishing results
(go to statistics)