Closed-range criterion for an injection (source code)

= Closed-range criterion for an injection

A bounded injective map between Banach spaces is bounded below exactly when its image is closed, by the bounded inverse theorem applied to its image.