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.

Estimated changes