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.