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