Theorem LinearMap.BilinForm.toQuadraticForm_neg

Modification history