Theorem MeasureTheory.setLIntegral_prod_symm

Modification history

2025-03-11 16:25
Mathlib/MeasureTheory/Measure/Prod.lean
feat(MeasureTheory): `setLIntegral_prod_symm` (#22735) …
Added MeasureTheory.setLIntegral_prod_symmView on Github →