Initial import for Arzelà-Ascoli