Theorem unitInterval.volume_Ioc

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