Theorem FiniteField.coe_frobeniusAlgHom

Modification history