Def Matrix.transposeInvertibleEquivInvertible

Modification history

2023-08-23 12:46

Mathlib/Data/Matrix/Invertible.lean

chore(Data/Matrix/Invertible): generalize conjugate and transpose lemmas (#6618) …

Added Matrix.transposeInvertibleEquivInvertible View on Github →