Source: wikibot/extended-real-number-line

= Extended real number line
{wiki=Extended_real_number_line}