Theorem MeasureTheory.volume_preserving_arrowCongr'

Modification history

2025-05-15 03:04
Mathlib/MeasureTheory/Constructions/Pi.lean
chore: fix more odd indents (#24908) …
Modified MeasureTheory.volume_preserving_arrowCongr'View on Github →
2024-11-12 10:47
Mathlib/MeasureTheory/Constructions/Pi.lean
feat(MeasureTheory): prove that some equivalences are measure preserving (#17944) …
Added MeasureTheory.volume_preserving_arrowCongr'View on Github →