Mathlib Changelog
Changelog
About
Github
Def
BoundedLattice.of
Modification history
2022-02-26 23:31
src/order/category/BoundedLattice.lean
feat(order/category/BoundedLattice): The category of bounded lattices (#12257) …
Added
BoundedLattice.of
View on Github →