Theorem Basis.multilinearMap_apply_apply

Modification history

2025-12-04 11:18

Mathlib/LinearAlgebra/Multilinear/Basis.lean

feat(LinearAlgebra/Multilinear): basis for multilinear maps (#31178) …

Added Basis.multilinearMap_apply_apply View on Github →