Theorem MeasureTheory.ae_eq_of_setLIntegral_prod_eq

Modification history

2025-03-11 20:13
Mathlib/MeasureTheory/Function/AEEqOfLIntegral.lean
feat(MeasureTheory): a.e. equality on product space from equality of integrals (#22764) …
Added MeasureTheory.ae_eq_of_setLIntegral_prod_eqView on Github →