Theorem Nat.le_one_iff_eq_zero_or_eq_one

Modification history