Theorem IsPrimitiveRoot.eq_pow_of_pow_eq_one

Modification history