Theorem BilinForm.toQuadraticForm_list_sum

Modification history