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