Theorem MeasureTheory.SimpleFunc.lintegral_congr

Modification history