Theorem Nat.mod_two_ne_zero

Modification history