User contributions for 98.222.72.97

For 98.222.72.97 talk block log logs
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

9 October 2013

18 September 2013

  • 05:0405:04, 18 September 2013 diff hist +13,428 N Heine–Borel theoremAt the end of the article was the statement that one direction of the proof of the Heine-Borel theorem is equivalent to the Ultrafilter Principle. The citation given (Schechter) states that this is true for the filter version. I corrected this.