feat(measure_theory/measure/measure_space): add formula for (map f μ).to_outer_measure (#8714)
(map f μ).to_outer_measure