∫ Утверждение Mathlib
Mathlib.GroupTheory.GroupAction.Support
URI: https://scilib.ai/kg/mathlib#MulAction.Supports.smul
← MathLib Explorer