Commit 2023-04-07 16:11 7a94bedf

View on Github →

feat: port LinearAlgebra.Multilinear.Basis (#3330)

Estimated changes

added theorem Basis.ext_multilinear