Theorem Matrix.PosDef.posDef_iff_eq_conjTranspose_mul_self

Modification history