Theorem MeasureTheory.SimpleFunc.lintegral_map

Modification history