← back to paper
arxiv: 2604.07948 · 2 revisions
Any countable topological $\mathbb F_p$-vector space has a closed discrete basis