mathlib3
2c5d4a3c - chore(order/rel_iso): add a few lemmas (#5106)

Commit

5 years ago

chore(order/rel_iso): add a few lemmas (#5106) * add lemmas `order_iso.apply_eq_iff_eq` etc; * define `order_iso.symm`.

Author

urkud

Parents