Theorem MeasureTheory.SimpleFunc.map_lintegral

Modification history