Theorem IsPrimitiveRoot.zmodEquivZPowers_symm_apply_pow'

Modification history