Heine-Cantor theorem (source code)

= Heine-Cantor theorem
{c}
{wiki=Heine–Cantor_theorem}

Every continuous map from a compact metric space to a metric space is uniformly continuous.