Theorem LinearMap.compQuadraticForm_polar

Modification history