TY - RPRT TI - Every Separable Metrizable Space has a Proper Dyadic Subbase AU - Haruto Ohta AU - Hideki Tsuiki AU - Kohzo Yamada PY - 2013 UR - https://arxiv.org/abs/1305.3393 ID - 1305.3393 ER -