Theorem MeasureTheory.setIntegral_congr₀

Modification history