Theorem LinearMap.BilinForm.neg_apply

Modification history