46-XX Functional analysis {For manifolds modeled on topological linear spaces, see 57Nxx, 58Bxx} 143283
46A30 Open mapping and closed graph theorems; completeness (including \(B\)-, \(B_r\)-completeness) 837