Theorem selfZPow_mul_neg

Modification history