Theorem LinearMap.BilinForm.toQuadraticForm_multiset_sum

Modification history