Theorem LinearMap.BilinForm.isSymm_neg

Modification history