Theorem LinearMap.BilinForm.compQuadraticForm_polarBilin

Modification history