feat(topology/algebra/module/multilinear): add `continuous_multilinear_map.smul_right` (#14218)
feat(topology/algebra/module/multilinear): add `continuous_multilinear_map.smul_right` (#14218)

See https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Question.20about.20.60formal_multilinear_series.60 for one use case





leanprover-community/mathlib,leanprover-community/mathlib