Theorem MeasureTheory.measurePreserving_arrowProdEquivProdArrow

Modification history

2024-11-12 10:47
Mathlib/MeasureTheory/Constructions/Pi.lean
feat(MeasureTheory): prove that some equivalences are measure preserving (#17944) …
Added MeasureTheory.measurePreserving_arrowProdEquivProdArrowView on Github →