Theorem InnerProductSpace.Core.inner_sub_left

Modification history