Theorem InnerProductSpace.Core.inner_conj_symm

Modification history