Theorem Basis.ext_multilinear
Modification history
2025-07-24 16:31
Mathlib/LinearAlgebra/Multilinear/Basis.lean
chore: rename `Basis` to `Module.Basis` (#27381) …
Deleted Basis.ext_multilinearView on Github →2025-05-12 14:24
Mathlib/LinearAlgebra/Multilinear/Basis.lean
chore(Multilinear/Basis): golf, generalize (#24802)
Modified Basis.ext_multilinearView on Github →