2017年7月6日

摘要: MAKE-SET.x/ creates a new set whose only member (and thus representative) is x. Since the sets are disjoint, we require that x not already be in some 阅读全文

posted @ 2017-07-06 16:17 Wujunde 阅读(397) 评论(0) 推荐(0) 编辑