Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multilinear_map.sum_apply

Modification history

2020-04-08 17:46
src/linear_algebra/multilinear.lean
feat(tactic/linter): add decidable_classical linter (#2352) …
Modified multilinear_map.sum_applyView on Github →
2020-04-04 17:59
src/linear_algebra/multilinear.lean
feat(*/multilinear): more material (#2197) …
Added multilinear_map.sum_applyView on Github →