mathlib3
64fd9f8c - feat(order/rel_iso): preimages of intervals under an `order_iso` (#5183)

Commit

5 years ago

feat(order/rel_iso): preimages of intervals under an `order_iso` (#5183)

Author

urkud

urkud

Parents

Loading