Theorem MeasureTheory.setIntegral_congr_fun₀

Modification history