Theorem IsPrimitiveRoot.zpow_eq_one

Modification history