Commit 2022-05-18 10:31 ae6a7c3f
View on Github →feat(linear_algebra/multilinear/finite_dimensional): generalize to finite and free (#14199)
This also renames some free and finite instances which had garbage names.
feat(linear_algebra/multilinear/finite_dimensional): generalize to finite and free (#14199)
This also renames some free and finite instances which had garbage names.