Theorem LinearMap.BilinForm.neg_right

Modification history