P
Initializing...
Thm. 4.1.1 — quasi-completeness of $\mathrm{Hom}^o(X,Y)$ with the pointwise topology · Prove2Me