Theorem selfZpow_mul_neg

Modification history