Theorem unitInterval.volume_Iio

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