Theorem Odd.pow_pos_iff

Modification history