Theorem Odd.pow_nonpos

Modification history