Theorem MultilinearMap.snoc_add

Modification history

2023-07-06 06:47

Mathlib/LinearAlgebra/Multilinear/Basic.lean

chore: rename Fin.castSucc to Fin.castSuccEmb (#5729)

Modified MultilinearMap.snoc_add View on Github →

2023-04-07 11:39

Mathlib/LinearAlgebra/Multilinear/Basic.lean

feat: port LinearAlgebra.Multilinear.Basic (#2450)

Added MultilinearMap.snoc_add View on Github →