realProjectiveSpace(n)
Real projective space of dimension n, as small cover.
The object realProjectiveSpace is a method function.