Source: /wikibot/mackey-arens-theorem

= Mackey–Arens theorem
{wiki=Mackey–Arens_theorem}