Theorem MeasureTheory.setIntegral_congr_ae₀

Modification history