Theorem unitInterval.symm_symmMeasurableEquiv

Modification history

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