Multilinear maps over finite dimensional spaces #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
The main results are that multilinear maps over finitely-generated, free modules are
finitely-generated and free.
We do not put this in
linear_algebra/multilinear_map/basic to avoid making the imports too large