Banach–Alaoglu theorem

GPTKB entity