Theorem FiniteField.coe_frobeniusAlgEquivOfAlgebraic

Modification history