无需选择公理的康托尔-伯恩斯坦-施罗德定理Coq的形式证明

研究论文
1 下载量 145 浏览量 2021-03-02 02:42:31 上传 评论 收藏 280KB PDF 举报
preview
试读
5页
资源推荐
资源评论
评论 收藏
weixin_38702047
  • 粉丝: 3
  • 资源: 968
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

最新资源