Theorem EuclideanSpace.volume_preserving_measurableEquiv

Modification history

2023-09-13 11:20
Mathlib/MeasureTheory/Measure/Haar/InnerProductSpace.lean
feat: Prove that the measure equivalence between EuclideanSpace ℝ ι and ι → ℝ is volume preserving (#7037) …
Added EuclideanSpace.volume_preserving_measurableEquivView on Github →