Theorem MeasureTheory.measurePreserving_pi

Modification history

2024-08-07 10:57

Mathlib/MeasureTheory/Constructions/Pi.lean

chore: backports for leanprover/lean4#4814 (part 25) (#15537)

Modified MeasureTheory.measurePreserving_pi View on Github →

2024-07-15 00:06

Mathlib/MeasureTheory/Constructions/Pi.lean

feat(MeasureTheory/Constructions/Pi): add `measurePreserving_pi` (#14185) …

Added MeasureTheory.measurePreserving_pi View on Github →