Theorem LinearMap.BilinForm.polar_toQuadraticForm

Modification history