mathlib

ae60bb96 - chore(topology/algebra/order): add `continuous_on.surj_on_of_tendsto` (#5502)

chore(topology/algebra/order): add `continuous_on.surj_on_of_tendsto` (#5502) * rename `surjective_of_continuous` to `continuous.surjective` and `surjective_of_continuous'` to `continuous.surjective'`; * add `continuous_on.surj_on_of_tendsto` and `continuous_on.surj_on_of_tendsto'`