Theorem InnerProductSpace.Core.inner_self_im

Modification history