Theorem Matrix.PosDef.conjTranspose_mul_self

Modification history