Theorem FiniteField.orderOf_frobeniusAlgHom

Modification history