mathlib3
10d2e70d - feat(order/lattice): "algebraic" constructors for (semi-)lattices (#6460)

Commit

4 years ago

feat(order/lattice): "algebraic" constructors for (semi-)lattices (#6460) I also added a module doc string for `order/lattice.lean`.

Author

bryangingechen

Parents