Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes