Theorem MeasureTheory.integral_congr_ae₂

Modification history

2024-08-12 04:09
Mathlib/MeasureTheory/Integral/Bochner.lean
feat (MeasureTheory-Probabilty): Congruence lemma for double integrals. (#15460) …
Added MeasureTheory.integral_congr_ae₂View on Github →