Theorem Nat.two_mul_div_two_of_even

Modification history