Commit 2021-06-19 15:31 1846a1f3
View on Github →feat(measure_theory/interval_integral): abs_integral_le_integral_abs (#7959)
The absolute value of the integral of an integrable function is less than or equal to the integral of the absolute value that function.