lean-perfectoid-spaces:精益形式定理证明者中的Perfectoid空间

preview
共96个文件
lean:71个
md:6个
html:5个
需积分: 9 0 下载量 122 浏览量 2021-05-15 00:50:11 上传 评论 收藏 10.31MB ZIP 举报
小小鹊
  • 粉丝: 34
  • 资源: 4534
上传资源 快速赚钱
voice
center-task 前往需求广场,查看用户热搜