Arzelà–Ascoli theorem (source code)

= Arzelà–Ascoli theorem
{wiki=Arzelà–Ascoli_theorem}