Theorem Odd.pow_neg

Modification history