Theorem Matrix.posSemidef_conjTranspose_iff

Modification history

2025-04-12 23:32
Mathlib/LinearAlgebra/Matrix/PosDef.lean
feat(LinearAlgebra/Matrix/PosDef): results about conjTranspose (#23895)
Added Matrix.posSemidef_conjTranspose_iffView on Github →