Banach–Alaoglu theorem (source code)

= Banach–Alaoglu theorem
{wiki=Banach–Alaoglu_theorem}