Theorem unitInterval.measurePreserving_coe

Modification history

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