Theorem MeasureTheory.VectorMeasure.smul_apply

Modification history