Theorem Matrix.posSemidef_iff_eq_conjTranspose_mul_self

Modification history