Theorem LinearMap.BilinForm.toQuadraticForm_sub

Modification history