Theorem MeasureTheory.VectorMeasure.neg_apply

Modification history