Theorem MeasureTheory.average_congr

Modification history