Theorem Matrix.PosDef.posDef_sqrt

Modification history