[Merged by Bors] - Eisenstein series uniform convergence#10377
Closed
CBirkbeck wants to merge 143 commits intomasterfrom eisensteinSeries_Uniform_convergence
+203
Commits
Commits on Feb 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Feb 12, 2024
- committed
- committed
- committed
- committed
Commits on Feb 13, 2024
- committed
- committed
Merge branch 'eisensteinSeries_Uniform_convergence' of https://github.com/leanprover-community/mathlib4 into eisensteinSeries_Uniform_convergence
committed- committed
- committed
- committed
Merge branch 'eisensteinSeries_Uniform_convergence' of https://github.com/leanprover-community/mathlib4 into eisensteinSeries_Uniform_convergence
committed- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 14, 2024
- committed
- committed
- committed
- committed
Commits on Feb 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 20, 2024
Commits on Feb 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 27, 2024
- committed
- committed
Commits on Mar 1, 2024
- committed
- committed
- committed
Commits on Mar 6, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Mar 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 15, 2024
- committed
Merge branch 'eisensteinSeries_Uniform_convergence' of https://github.com/leanprover-community/mathlib4 into eisensteinSeries_Uniform_convergence
committed- committed
- committed
Merge branch 'eisensteinSeries_Uniform_convergence' of https://github.com/leanprover-community/mathlib4 into eisensteinSeries_Uniform_convergence
committed- committed
Commits on Apr 26, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'CB_summable_partion_lemmas' of https://github.com/leanprover-community/mathlib4 into CB_summable_partion_lemmas
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 30, 2024
- committed
- committed
Commits on May 10, 2024
- committed
- committed
Commits on May 12, 2024
- committed
Commits on May 13, 2024
- committed
- committed
- committed
Commits on May 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
