Theorem InnerProductSpace.Core.inner_sub_sub_self

Modification history