Theorem Even.pow_nonneg

Modification history