Def SemilatticeSup.dual

Modification history

2022-03-31 06:51

src/order/category/Semilattice.lean

feat(order/category/Semilattice): The categories of semilattices (#12890) …

Added SemilatticeSup.dual View on Github →