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