Theorem InnerProductSpaceable.Inner_.conj_symm

Modification history