Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.reindex_symm

Modification history

2021-04-08 15:56

src/data/matrix/basic.lean

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

Added matrix.reindex_symm View on Github →