Theorem MeasureTheory.VectorMeasure.restrict_smul

Modification history