Theorem BilinForm.toQuadraticForm_smul

Modification history