Def FiniteField.frobeniusAlgHom

Modification history