Theorem Matrix.reindex_map

Modification history

2026-11-10 21:51
Mathlib/LinearAlgebra/Matrix/Defs.lean
chore(LinearAlgebra/Matrix): add api for compatibility between `reindex` and `map` for `GL` and `Matrix` (#45519)
Added Matrix.reindex_mapView on Github →