Theorem MeasureTheory.set_integral_congr₀

Modification history