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

Created over 8 years ago, updated 2 months ago