Bounded inverse theorem (source code)

= Bounded inverse theorem
{wiki}

A bounded bijective linear map between Banach spaces has a bounded inverse. This follows because an open bijection has continuous inverse.