mathlib
f1d2bc60 - feat(order/lattice_intervals): lattice structures on intervals in lattices (#5496)

Commit

5 years ago

feat(order/lattice_intervals): lattice structures on intervals in lattices (#5496) Defines (semi-)lattice structures on intervals in lattices

Author

awainverse

Parents