Theorem MeasureTheory.average_neg

Modification history