# Theorem measure_theory.has_finite_integral.smul

#### Modification history

2023-05-27 18:17

src/measure_theory/function/l1_space.lean

feat(measure_theory/function/l1_space): generalize multiplicative results to is_unit (#19073) …

Modified measure_theory.has_finite_integral.smulView on Github →