Namespace ArithFrobResidue 1 theorems
- Order of arithmetic Frobenius equals the residue degree
ArithFrobResidue.orderOf_arithFrob_eq_finrank_of_inertia_eq_bot0 below · cited by 4 · depth 17
ArithFrobResidue 1 theoremsArithFrobResidue.orderOf_arithFrob_eq_finrank_of_inertia_eq_bot 0 below · cited by 4 · depth 17