Modular forms #67
Modular forms
#67
giscus[bot]
bot
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Modular forms
In PR# 13250 we define modular forms and cusp forms, and prove that they form complex vector spaces. These are analytic functions of number theoretic interest with strong links to geometry, representa
https://leanprover-community.github.io/blog/posts/modular-forms/
Beta Was this translation helpful? Give feedback.
All reactions