Statistics for tag 094L
| tag creation | last update | |
|---|---|---|
| May 20, 2013 | Jun 11, 2013 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 7 |
| number of chapters used | 3 |
| number of sections used | 6 |
| number of results (indirectly) using this tag | 1086 |
Tags (directly) using this result
- Lemma 37.78.4
in Section 37.78: Completely decomposed morphisms
(go to statistics) - Theorem 38.39.7
in Section 38.39: Descent vector bundles in positive characteristic
(go to statistics) - Lemma 39.7.13
in Section 39.7: Properties of group schemes over a field
(go to statistics) - Lemma 39.19.3
in Section 39.19: Invariant subschemes
(go to statistics) - Lemma 58.8.1
in Section 58.8: Topological invariance of the fundamental group
(go to statistics) - Lemma 59.63.1
in Section 59.63: The Artin-Schreier sequence
(go to statistics) - Lemma 59.71.3
in Section 59.71: Constructible sheaves
(go to statistics) - Lemma 59.71.8
in Section 59.71: Constructible sheaves
(go to statistics) - Lemma 59.73.6
in Section 59.73: More on constructible sheaves
(go to statistics) - Lemma 59.91.1
in Section 59.91: The proper base change theorem
(go to statistics)