Def SemilatticeInf.iso.mk

Modification history

2022-03-31 06:51

src/order/category/Semilattice.lean

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

Added SemilatticeInf.iso.mk View on Github →