Closed graph theorem for compact spaces (source code)

= Closed graph theorem for compact spaces
{wiki}

A map between compact Hausdorff spaces is continuous exactly when its graph is closed.