Theorem LinearMap.zero_compMultilinearMap

Modification history

2025-03-12 09:09
Mathlib/LinearAlgebra/Multilinear/Basic.lean
chore(whitespace): lots of whitespace (#22838) …
Modified LinearMap.zero_compMultilinearMapView on Github →
2024-10-19 00:45
Mathlib/LinearAlgebra/Multilinear/Basic.lean
feat: algebraic properties of `LinearMap.compMultilinear` (#17932) …
Added LinearMap.zero_compMultilinearMapView on Github →