finite_dimensional.proper_is_R_or_C source