Talk:Bounded Subspace of Euclidean Space is Totally Bounded

You're right, it's not obvious. I'll create the currently non-existent linked-to result as a lemma. --GFauxPas (talk) 13:21, 29 May 2018 (EDT)