Source: wikibot/hahn-banach-theorem

= Hahn–Banach theorem
{wiki=Hahn–Banach_theorem}