Theorem Matrix.reindexStarAlgEquiv_refl

Modification history

2026-11-10 20:16

Mathlib/LinearAlgebra/Matrix/Reindex.lean

feat(LinearAlgebra/Matrix/Reindex): add `Matrix.reindexStarAlgEquiv` (#45199) …

Added Matrix.reindexStarAlgEquiv_refl View on Github →