Theorem LinearMap.BilinForm.toQuadraticMap_isOrtho

Modification history