[math-fun] Complex projective spaces