Theorem MeasureTheory.VectorMeasure.coe_smul

Modification history