Commit 2023-05-01 03:53 7317149f
View on Github →chore(measure_theory/integral): split up measure_theory.integral.lebesgue (#18904)
This PR shortens the 3056-line-long file measure_theory.integral.lebesgue, by removing a 1000-line initial segment into a new file measure_theory.function.simple_func.