Theorem LinearMap.BilinForm.toQuadraticForm_add

Modification history