Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-01-06 14:48
bf1283e9
View on Github →
chore: update Data.Nat.Order.Basic to account for my mathlib PR (
#1378
)
Estimated changes
Modified
Mathlib/Data/Nat/Order/Basic.lean
added
theorem
Nat.half_le_of_sub_le_half
added
theorem
Nat.le_half_of_half_lt_sub