Urs comments on "sequentially compact metric spaces are totally bounded" (62018)
https://nforum.ncatlab.org/discussion/7672/?Focus=62018#Comment_62018
2017-04-12T19:19:52+00:00
2024-03-29T12:10:22+00:00
Urs
https://nforum.ncatlab.org/account/4/
added statement and proof that sequentially compact metric spaces are totally bounded
added statement and proof that sequentially compact metric spaces are totally bounded
]]>