Theorem Nat.one_add_div_two_mul_two_of_odd

Modification history