Theorem QuadraticForm.nonneg_prod_iff

Modification history