Theorem InnerProductSpace.Core.inner_im_symm

Modification history