Theorem BilinForm.toQuadraticForm_neg

Modification history