Mackey–Arens theorem (source code)

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