Theorem Even.neg_pow

Modification history