Theorem Matrix.PosSemidef.inv_sqrt

Modification history