Theorem MeasureTheory.SimpleFunc.integral_const

Modification history