mathlib3

e22eb054 - feat(linear_algebra/multilinear-tensor): Add `multilinear_map.of_tmul`