Theorem MeasureTheory.IntegrableOn.congr_fun

Modification history