Theorem QuadraticForm.posDef_iff_nonneg

Modification history