Def Matrix.reindexLinearEquiv

Modification history

2023-04-20 15:22

Mathlib/LinearAlgebra/Matrix/Reindex.lean

feat: port LinearAlgebra.Matrix.Reindex (#3549)

Added Matrix.reindexLinearEquiv View on Github →