finite_measure_weak_convergence): generalize scalar action (#12503)

Commit

3 years ago

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

Author

eric-wieser

Parents