Theorem QuadraticMap.posDef_of_nonneg

Modification history