Special:EditPage/Projectively extended real line Source: en.wikipedia.org/wiki/Special:EditPage/Projectively_extended_real_line