Theorem Matrix.PosDef.transpose_iff

Modification history