Commit 2022-02-26 23:31 817b4c4b

View on Github →

feat(order/category/BoundedLattice): The category of bounded lattices (#12257) Define BoundedLattice, the category of bounded lattices with bounded lattice homs.

Estimated changes