Theorem InnerProductSpace.Core.inner_add_right

Modification history