Banach-Mazur theorem

1. REDIRECT Banach–Mazur theorem

{{R from modification}}