Theorem LinearMap.BilinForm.neg_left

Modification history