Li-Fan Chen says to YSITD
countable sets 通常指的是可以構造出一個從該 sets 到 N 的 injection 吧
at Thu, Apr 9, 2020 2:48 PM