Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-04 17:34 a54dd9e3

View on Github →

feat(order/category/BoundedDistribLattice): The category of bounded distributive lattices (#12347) Define BoundedDistribLattice, the category of bounded distributive lattices with bounded lattice homomorphisms.

Estimated changes