Theorem MeasureTheory.SimpleFunc.integral_eq_lintegral'

Modification history