Theorem BilinForm.toQuadraticForm_sub

Modification history