Def LinearIsometryEquiv.toMeasurableEquiv

Modification history

2025-03-23 14:15
Mathlib/MeasureTheory/Measure/Haar/InnerProductSpace.lean
chore: rename `measureEquiv` to `measurableEquiv` (#23230)
Added LinearIsometryEquiv.toMeasurableEquivView on Github →