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






leanprover-community/mathlib,leanprover-community/mathlib