Def DistribLattice

Modification history

2022-02-17 10:43

src/order/category/DistribLattice.lean

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

Added DistribLattice View on Github →