real_vector_space Copy: real_vector_space has NO comma Hide Show No older revisions availableNo older revisions available File does not exist