Theorem MeasureTheory.measurePreserving_arrowCongr'

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_arrowCongr'View on Github →