Source: wikibot/tarski-seidenberg-theorem

= Tarski–Seidenberg theorem
{wiki=Tarski–Seidenberg_theorem}