Theorem BilinForm.toQuadraticForm_zero

Modification history