Theorem LinearMap.compMultilinearMap_compLinearMap

Modification history

2025-05-29 13:58
Mathlib/LinearAlgebra/Multilinear/Basic.lean
feat: associativity lemmas for `MultilinearMap` composition (#25169) …
Added LinearMap.compMultilinearMap_compLinearMapView on Github →