Def MeasureTheory.SimpleFunc.lintegralₗ

Modification history