Let $(X,d)$ be a complete metric space, and endow $Iso(X,d)$ with the pointwise convergence topology. I've seen a few sources say this is clearly a Polish group, but why is this this the case?