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

smul_some

Mathlib.Algebra.Group.Action.Option

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

← MathLib Explorer