complex projective space (Q2538404)
the space of lines in a complex vector space
Language:
other details