Theorem IsPrimitiveRoot.zmodEquivZpowers_symm_apply_pow

Modification history