Commit 2022-05-18 13:10 54773fc0
View on Github →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