Theorem Odd.pow_nonneg_iff

Modification history