mathlib
7a031718 - chore(order/rel_iso): add some missing lemmas (#5492)

Commit

4 years ago

chore(order/rel_iso): add some missing lemmas (#5492) Also define `order_iso.trans`.

Author

urkud

Parents