Theorem unitInterval.measurePreserving_symm

Modification history

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