Theorem LinearMap.BilinForm.compQuadraticForm_polar

Modification history