Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added some more material and references to separable space. Partly this was just to record a MO discussion which would otherwise get eventually buried under centuries of MO sediment, but I’ve included some other things as well. (E.g., I wasn’t aware until now that a product of continuum many separable spaces was still separable.)
1 to 2 of 2