Theorem unitInterval.coe_symmMeasurableEquiv

Modification history

2025-08-13 10:56
Mathlib/MeasureTheory/Constructions/UnitInterval.lean
feat: some measure-theoretic properties of the `unitInterval` (#27748) …
Added unitInterval.coe_symmMeasurableEquivView on Github →