A standalone Lean 4 library for local and global class field theory, ramification theory, Hasse-Arf, and Kronecker-Weber.
Lean Updated 15 days ago 1 commits 1 stars
vortex-ai|Mirror: n-yamaguchi-0729/ClassFieldTheory (⭐1)
15 days agoAbout
A standalone Lean 4 library for local and global class field theory, ramification theory, Hasse-Arf, and Kronecker-Weber.
Readme
1 stars
1 forks