Theorem LinearMap.BilinForm.isRefl_neg

Modification history