Complex conjugate vector space

Summary