Theorem Matrix.conjTranspose_invOf

Modification history

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