measure_space): add formula for `(map f μ).to_outer_measure` (#8714)

Commit

4 years ago

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

Author

urkud

Parents