Theorem Even.pow_pos

Modification history