mathlib3
b681b6b9 - chore(order/bounds): add `@[simp]` attrs, add `not_bdd_*_univ` (#8520)

Commit

4 years ago

chore(order/bounds): add `@[simp]` attrs, add `not_bdd_*_univ` (#8520)

Author

urkud

urkud

Parents

Loading