Redirecting to Arzelà-Ascoli theorem