Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-17 12:21 0c145d82

View on Github →

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

Estimated changes