Source: /wikibot/scott-core-theorem

= Scott core theorem
{wiki=Scott_core_theorem}