Skip to content
Formalization of Statement of Local Langlands Correspondence for Tori
Branch: master
Clone or download
Latest commit ee22666 Dec 18, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
.gitignore
README.md
leanpkg.toml

README.md

local-langlands-abelian

Formalization of Statement of Local Langlands Correspondence for Tori

You can’t perform that action at this time.