∫ Утверждение Mathlib

smul_def

Mathlib.Algebra.Group.Action.Sigma

URI: https://scilib.ai/kg/mathlib#Sigma.smul_def

← MathLib Explorer