Theorem IsPrimitiveRoot.zpow_of_gcd_eq_one

Modification history