Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-04-06 05:50
8b34e00d
View on Github →
feat(order/complete_lattice): le_Sup and Inf_le iff lemmas (
#7047
)
Estimated changes
Modified
src/order/complete_lattice.lean
added
theorem
Inf_le_iff
added
theorem
le_Sup_iff