Theorem Odd.zpow_neg_iff

Modification history