Talk:Completion Theorem (Metric Space)/Lemma 4

I will check this later, currently doing completion for NVSs. But in general there will be no inclusions between $A_1$ and $A_2$, and even if there was $\phi_1^{-1} \circ \phi_2$ would have domain $A$ not $\phi_1 \sqbrk A$. Caliburn (talk) 14:44, 29 September 2023 (UTC)

Yeah certainly. This originated in the first place from Linus44 from 2011, who isn't around so much at the moment. Feel free to do what needs doing. --prime mover (talk) 16:50, 29 September 2023 (UTC)