Commit 2022-03-01 02:55 cd98967d

View on Github →

feat(order/category/CompleteLattice): The category of complete lattices (#12348) Define CompleteLattice, the category of complete lattices with complete lattice homomorphisms.

Estimated changes