Theorem InnerProductSpace.Core.inner_neg_right

Modification history