Theorem QuadraticForm.coeFn_neg

Modification history