Theorem InnerProductSpace.Core.inner_sub_right

Modification history