Theorem BilinForm.toQuadraticForm_multiset_sum

Modification history