Theorem matrix.reindex_alg_equiv_symm_apply

chore(data/matrix/basic): add simp lemmas about `minor`, move `reindex` to `matrix.basic` since it knows nothing about linear algebra (#7083)

feat(linear_algebra/matrix): define equivalences for reindexing matrices with equivalent types (#3409)