Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-09-04 13:19
a085bc37
View on Github →
feat(Data/Nat/Order/Basic): le_one_iff_eq_zero_or_eq_one (
#6949
)
Estimated changes
Modified
Mathlib/Data/Nat/Order/Basic.lean
added
theorem
Nat.le_one_iff_eq_zero_or_eq_one