Theorem LinearIsometryEquiv.coe_toMeasurableEquiv

Modification history

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