Mathlib v3 is deprecated. Go to Mathlib v4

Def multilinear_map.prod

Modification history

2023-05-27 08:18
src/linear_algebra/multilinear/basic.lean
feat(linear_algebra/alternating): add 3 missing definitions (#19069)
Modified multilinear_map.prodView on Github →
2020-02-21 02:50
src/linear_algebra/multilinear.lean
refactor(*/multilinear): better right curryfication (#1985) …
Added multilinear_map.prodView on Github →