Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
inf_eq_min_default
Modification history
2022-01-12 17:52
src/order/lattice.lean
fix(order/complete_lattice): fix diamond in sup vs max and min vs inf (#11309) …
Added
inf_eq_min_default
View on Github →