DistribLattice): The category of distributive lattices (#12092)

Commit

3 years ago

feat(order/category/DistribLattice): The category of distributive lattices (#12092) Define `DistribLattice`, the category of distributive lattices.

Author

YaelDillies

Parents