Theorem InnerProductSpace.Core.inner_neg_left

Modification history