Theorem MeasureTheory.setAverage_congr_fun

Modification history