Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-08-07 22:04
0a79eec3
View on Github →
fix(order/bounds): remove double space (
#8575
)
Estimated changes
Modified
src/order/bounds.lean
modified
def
upper_bounds