Source: wikibot/relatively-compact-subspace

= Relatively compact subspace
{wiki=Relatively_compact_subspace}