Theorem IsPrimitiveRoot.zmodEquivZpowers_symm_apply_pow'

Modification history