mathlib3

597cbf10 - feat(topology/continuous_on): add `set.maps_to.closure_of_continuous_on` (#12975)