Commit 2023-11-28 20:47 df0fd9f3

View on Github →

feat: composition of a multilinear map and linear maps is multilinear (#8687)

Estimated changes