Theorem LinearMap.BilinForm.toQuadraticForm_isOrtho

Modification history