Def BoundedDistribLattice.dual

Modification history

2022-03-04 17:34

src/order/category/BoundedDistribLattice.lean

feat(order/category/BoundedDistribLattice): The category of bounded distributive lattices (#12347) …

Added BoundedDistribLattice.dual View on Github →