Theorem Nat.bodd_eq_one_and_ne_zero

Modification history