Source: wikibot/subspace-theorem

= Subspace theorem
{wiki=Subspace_theorem}