Theorem MeasureTheory.isLocallyFiniteMeasure_of_smulInvariant

Modification history