Commit 2025-01-04 12:41 9309505c
View on Github →chore: split Kernel/MeasurableIntegral (#20427) The file is split into two files, one about the Lebesgue integral and one about the Bochner integral. The new MeasurableLIntegral file has around 500 less imports than MeasurableIntegral since it does not import Lp spaces and Bochner integrals.