Source: wikibot/szpilrajn-extension-theorem

= Szpilrajn extension theorem
{wiki=Szpilrajn_extension_theorem}