Theorem Matrix.PosDef.isHermitian

Modification history