mathlib3
6cd6975d - feat(order/lattice): add `inf_lt_sup` (#10178)

Commit

4 years ago

feat(order/lattice): add `inf_lt_sup` (#10178) Also add `inf_le_sup`, `lt_or_lt_iff_ne`, and `min_lt_max`.

Author

urkud

Parents