Theorem MeasureTheory.setLaverage_congr_fun

Modification history