Theorem InnerProductSpace.Core.inner_re_symm

Modification history