Theorem BilinForm.polar_toQuadraticForm

Modification history