Theorem Matrix.PosSemidef.dotProduct_mulVec_zero_iff

Modification history