lean-perfectoid-spaces:精益形式定理证明者中的Perfectoid空间
需积分: 9 122 浏览量
2021-05-15
00:50:11
上传
评论
收藏 10.31MB ZIP 举报
lean-perfectoid-spaces-master.zip （96个子文件） 
lean-perfectoid-spaces-master 
.travis.yml 795B docs 
install.html 3KB images 
perfectoid_graph.png 8.97MB perfectoid_graph_small.png 853KB how-to-read-lean.html 12KB pygments.css 4KB perfectoid.gephi 414KB index.html 12KB style.css 9KB type_theory.html 24KB _config.yml 129B docs_src type_theory.md 15KB install.md 705B pandocfilter-pygments 801B template.html 2KB how-to-read-lean.md 6KB build.sh 180B index.md 7KB LICENSE 11KB import_graph.py 2KB src adic_space.lean 11KB perfectoid_space.lean 2KB continuous_valuations.lean 6KB Frobenius.lean 470B Huber_ring localization.lean 20KB basic.lean 4KB valuation perfection.lean 4KB linear_ordered_comm_group_with_zero.lean 7KB localization.lean 13KB valuation_field_completion.lean 2KB canonical.lean 32KB field.lean 14KB with_zero_topology.lean 15KB topology.lean 7KB basic.lean 17KB Tate_ring.lean 3KB sheaves stalk_of_rings.lean 14KB presheaf_of_topological_rings.lean 2KB presheaf.lean 2KB sheaf_of_topological_rings.lean 2KB covering.lean 2KB f_map.lean 10KB sheaf_of_rings.lean 988B opens.lean 2KB sheaf.lean 2KB stalk.lean 2KB README.md 493B presheaf_of_rings.lean 2KB examples discrete.lean 497B padics.lean 11KB empty.lean 2KB valuation_spectrum.lean 10KB power_bounded.lean 13KB for_mathlib rings.lean 1KB punit_instances.lean 578B open_embeddings.lean 857B primes.lean 205B integral_closure.lean 534B algebra.lean 2KB equiv.lean 4KB nnreal.lean 1KB data set basic.lean 2KB ideal_operations.lean 1KB filter.lean 8KB topological_rings.lean 7KB quotient_group.lean 2KB topological_groups.lean 27KB topological_field.lean 5KB padics.lean 13KB normed_spaces.lean 857B group_with_zero.lean 13KB cardinal.lean 323B uniform_space separation.lean 10KB group_basis.lean 2KB uniform_field.lean 7KB group.lean 3KB quotient.lean 1KB open_subgroup.lean 701B topology.lean 15KB group.lean 2KB linear_ordered_comm_group.lean 22KB submodule.lean 3KB nonarchimedean is_subgroups_basis.lean 6KB adic_topology.lean 4KB basic.lean 4KB with_zero.lean 5KB Spa presheaf.lean 9KB stalk_valuation.lean 11KB space.lean 9KB rational_open_data.lean 11KB localization_Huber.lean 7KB Huber_pair.lean 4KB .gitignore 151B README.md 551B leanpkg.toml 254B .vscode settings.json 244B资源评论
