Real projective space (source code)

= Real projective space
{c}
{title2=$\mathbb{RP}^n$}
{wiki}

Real projective space is the antipodal quotient $\mathbb{RP}^n=S^n/(x\sim-x)$.