Mathlib v3 is deprecated. Go to Mathlib v4

Def matrix.lie_conj

Modification history

2021-11-09 09:20

src/algebra/lie/matrix.lean

feat(algebra/lie/classical): Use computable matrix inverses where possible (#10218)

Added matrix.lie_conj View on Github →