Theorem Odd.neg_pow

Modification history