Theorem FiniteField.orderOf_frobeniusAlgEquivOfAlgebraic

Modification history