Source: wikibot/real-closed-field

= Real closed field
{wiki=Real_closed_field}