∫ Утверждение Mathlib
isMulLeftInvariant_smul_nnreal
Mathlib.MeasureTheory.Group.Measure
URI: https://scilib.ai/kg/mathlib#MeasureTheory.isMulLeftInvariant_smul_nnreal
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Group.Measure
URI: https://scilib.ai/kg/mathlib#MeasureTheory.isMulLeftInvariant_smul_nnreal