Mathlib v3 is deprecated. Go to Mathlib v4

Def matrix.transpose_alg_equiv

Modification history

2022-07-25 10:24

src/data/matrix/basic.lean

feat(data/matrix/basic): Add `alg_equiv` and `linear_equiv` instances for transpose. (#15386) …

Added matrix.transpose_alg_equiv View on Github →