Theorem unitInterval.measurableEmbedding_coe

Modification history

2025-07-31 13:50
Mathlib/MeasureTheory/Constructions/UnitInterval.lean
feat: lemmas on the volume on `I` applied to intervals (#27513) …
Added unitInterval.measurableEmbedding_coeView on Github →