Theorem IsPrimitiveRoot.zmodEquivZPowers_symm_apply_zpow'

Modification history