Source: wikibot/banach-mazur-compactum

= Banach–Mazur compactum
{wiki=Banach–Mazur_compactum}