Open mapping theorem (functional analysis) (source code)

= Open mapping theorem (functional analysis)
{wiki=Open_mapping_theorem_(functional_analysis)}