Theorem LinearMap.BilinForm.toQuadraticForm_apply

Modification history