The conjugate of a sum of vectors in C^n is the sum of the conjugates

Created almost 9 years ago, updated 4 months ago