Projectively extended real line #1 Post by dnt404-1 » Sat, Nov 04, 2017, 7:41 AM UTC Projectively extended real lineen.wikipedia.org