Theorem Nat.odd_mul_odd_div_two

Modification history