Theorem MeasureTheory.SimpleFunc.integral_congr

Modification history