Def DistribLattice.iso.mk

Modification history

2023-03-28 23:45

src/order/category/DistribLattice.lean

chore(order/category): Rename categories (#18657) …

Deleted DistribLattice.iso.mk View on Github →

2022-02-17 10:43

src/order/category/DistribLattice.lean

feat(order/category/DistribLattice): The category of distributive lattices (#12092) …

Added DistribLattice.iso.mk View on Github →