Theorem Matrix.isHermitian_iff_isSymm

Modification history

2026-06-12 11:46
Mathlib/LinearAlgebra/Matrix/Hermitian.lean
feat: further API for Cartan matrices (#40424)
Added Matrix.isHermitian_iff_isSymmView on Github →