Talk:Normed Vector Space with Schauder Basis is Separable

Been meaning to put this up for a while, thanks for getting to it. Still to do would be the case of an NVS over $\C$, which would be basically the same but use $\Q[i] = \Q + i \Q$ and its denseness in $\C$ instead of $\Q$. Caliburn (talk) 19:45, 16 October 2022 (UTC)


 * Yes, I think the denseness is the main hurdle here. Should be doable in a couple of days.--Julius (talk) 20:28, 16 October 2022 (UTC)