Theorem LinearMap.BilinForm.isAlt_neg

Modification history