Source: wikibot/projectively-extended-real-line

= Projectively extended real line
{wiki=Projectively_extended_real_line}