Theorem Nat.two_mul_ne_two_mul_add_one

Modification history