Theorem selfZpow_neg_mul

Modification history