mathlib

b0fbd912 - feat(measure_theory/measure): generalize scalar actions (#12187)

feat(measure_theory/measure): generalize scalar actions (#12187) As a result of this change, many smul lemmas now also apply to `nat` and `nnreal`, which allows some lemmas to be removed.