Theorem QuadraticForm.PosDef.nonneg

Modification history