Theorem BilinForm.toQuadraticForm_isOrtho

Modification history