Theorem FiniteField.bijective_frobeniusAlgEquivOfAlgebraic_pow

Modification history