Closure Finiteness of CW ComplexesExplores closure finiteness in CW complexes, proving compact subspaces are contained in finite subcomplexes through induction and characteristic maps.
Open Mapping TheoremExplains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.