Definition of the real part of a vector in C^n

Created almost 9 years ago, updated 4 months ago