Theorem Matrix.isUnit_conjTranspose

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_conjTransposeView on Github →