Theorem MeasureTheory.volume_preserving_pi

Modification history

2024-07-15 00:06

Mathlib/MeasureTheory/Constructions/Pi.lean

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

Added MeasureTheory.volume_preserving_pi View on Github →