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

Created almost 9 years ago

Put content here.