Theorem MeasureTheory.setLAverage_congr_fun

Modification history