Theorem LinearMap.BilinForm.toQuadraticForm_smul

Modification history