Theorem selfZpow_neg_coe_nat

Modification history