Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 08:31 b2377ea2

View on Github →

feat(measure_theory/measure/finite_measure_weak_convergence): generalize scalar action (#12503) This means the smul lemmas also work for nsmul.

Estimated changes