smul_eq_hSMul — Mathlib · SciLib

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

smul_eq_hSMul

Mathlib.Algebra.Notation.Defs

URI: https://scilib.ai/kg/mathlib#SMul.smul_eq_hSMul

← MathLib Explorer