mathlib
e0c27fe4 - feat(order/bounded_order): a few more `simp` lemmas (#10533)

Commit

4 years ago

feat(order/bounded_order): a few more `simp` lemmas (#10533) Inspired by #10486 Co-authored-by: Johan Commelin <johan@commelin.net>

Author

urkud

Parents