Theorem unitInterval.volume_uIcc

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.volume_uIccView on Github →