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

Created almost 9 years ago, updated 4 months ago