Theorem Nat.two_mul_div_two_add_one_of_odd

Modification history