Documentation

Mathlib.MeasureTheory.Integral.IntervalIntegral