Banach-Stone theorem

1. REDIRECT Banach–Stone theorem

{{R from modification}}