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 →