Theorem LinearMap.BilinForm.toQuadraticForm_list_sum

Modification history