Commit 2024-05-15 11:20 a9502f00
View on Github →Eisenstein series uniform convergence (#10377) We show that the sum defining an Eisenstein Series converges locally uniformly. This is the basis for later proving that they are holomorphic (see #11013 ) and bounded at infinity (see #12456), which combine to show they are modular forms (see #12604).