Theorem MeasureTheory.SimpleFunc.map_integral

Modification history