Theorem LinearEquiv.entryLinearMap_comp_mapMatrix
Modification history
2025-08-14 11:29
Mathlib/Data/Matrix/Basic.lean
feat: semilinearize `LinearMap.mapMatrix` and `LinearEquiv.mapMatrix` (#28358) …
Modified LinearEquiv.entryLinearMap_comp_mapMatrixView on Github →