Theorem LinearMap.BilinForm.toQuadraticForm_comp_same

Modification history