Theorem FiniteField.frobenius_pow

Modification history