Theorem QuadraticForm.posDef_prod_iff

Modification history