Theorem Matrix.PosSemidef.transpose

Modification history