Theorem InnerProductSpace.Core.inner_add_left

Modification history