Theorem unitInterval.volume_Ici

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_IciView on Github →