mathlib

d40487b5 - feat(measure_theory/[set_integral, interval_integral]): mono and nonneg lemmas (#6292)

feat(measure_theory/[set_integral, interval_integral]): mono and nonneg lemmas (#6292) See https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/.60integral_restrict.60/near/226274072