Theorem Nat.div_two_mul_two_add_one_of_odd

Modification history