Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multilinear_map.map_smul

Modification history

2022-05-16 09:18
src/linear_algebra/multilinear/basic.lean
feat(algebra/module): morphism classes for (semi)linear maps (#13939) …
Deleted multilinear_map.map_smulView on Github →
2020-02-04 19:56
src/linear_algebra/multilinear.lean
feat(topology/algebra/multilinear): define continuous multilinear maps (#1948)
Modified multilinear_map.map_smulView on Github →
2020-01-09 21:23
src/linear_algebra/multilinear.lean
feat(linear_algebra/multilinear): basics of multilinear maps (#1814) …
Added multilinear_map.map_smulView on Github →