mathlib3

2f3652a7 - chore(linear_algebra/multilinear): add a variant of `multilinear_map.map_smul_univ`