Commit 2025-01-04 12:51 e6514e00
View on Github →chore: split AEEqOfIntegral into two files, one for each integral type (#20405)
The proof of AEMeasurable.ae_eq_of_forall_setLIntegral_eq
is changed significantly since it used to call the same result for the Bochner integral. Everything else is copied as it was.