Theorem FiniteField.forall_pow_eq_one_iff

Modification history