Talk:Heine-Borel iff Dedekind Complete
Jump to navigation
Jump to search
What's questionable, exactly? I'm not assuming $X =\R$.
However, I just realized that (unless I err), the reverse implication can be strengthened on another page before being used here. --Dfeuer (talk) 22:20, 11 February 2013 (UTC)
- Sorry. Misremembered def. of Dedekind complete. One of the reasons why it's better to provide adequate linking from the start. --Lord_Farin (talk) 22:28, 11 February 2013 (UTC)