Theorem QuadraticMap.posDef_iff_nonneg

Modification history