order): continuity of monotone functions (#5199)

Commit

5 years ago

feat(topology/algebra/order): continuity of monotone functions (#5199) Add local versions of `order_iso.continuous`.

Author

urkud

Parents