Theorem Matrix.isHermitian_mul_conjTranspose_self
Modification history
2024-05-31 00:19
Mathlib/LinearAlgebra/Matrix/Hermitian.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified Matrix.isHermitian_mul_conjTranspose_selfView on Github →