Arzelà-Ascoli theorem

1. REDIRECT Arzelà–Ascoli theorem

{{R from modification}}