Commit 2020-12-30 19:29 f1d2bc60
View on Github →feat(order/lattice_intervals): lattice structures on intervals in lattices (#5496) Defines (semi-)lattice structures on intervals in lattices
feat(order/lattice_intervals): lattice structures on intervals in lattices (#5496) Defines (semi-)lattice structures on intervals in lattices