Theorem Matrix.isUnit_transpose

Modification history

2023-08-23 12:46
Mathlib/Data/Matrix/Invertible.lean
chore(Data/Matrix/Invertible): generalize conjugate and transpose lemmas (#6618) …
Added Matrix.isUnit_transposeView on Github →