Theorem MeasureTheory.OuterMeasure.trim_binop

Modification history