Theorem Odd.pow_neg_iff

Modification history