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

smul_def

Mathlib.Algebra.Group.Action.Option

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

← MathLib Explorer