Theorem Even.pow_abs

Modification history