Theorem IsPrimitiveRoot.zmodEquivZpowers_symm_apply_zpow

Modification history