Closed graph theorem (source code)

= Closed graph theorem
{wiki}

A linear map between Banach spaces is continuous if and only if its graph is closed.