Theorem BilinForm.toQuadraticForm_add

Modification history