Mathlib Changelog
v4
Changelog
About
Github
Theorem
MultilinearMap.coe_sum
Modification history
2023-09-21 15:29
Mathlib/LinearAlgebra/Multilinear/Basic.lean
feat(LinearAlgebra/Multilinear): generalize some defs to `Semiring` (#7284) …
Added
MultilinearMap.coe_sum
View on Github →