Open-mapping theorem: surjective bounded operator between Banach spaces is open. Closed-graph: linear operator with closed graph between Banach spaces is bounded. Equivalent + foundational.
Open-mapping theorem: surjective bounded operator between Banach spaces is open. Closed-graph: linear operator with closed graph between Banach spaces is bounded. Equivalent + foundational.