Modular Forms — Hungerbühler–Wasem & Valence Formula in Lean

Modular Forms — Hungerbühler–Wasem & Valence Formula in Lean

Table of Contents

1.	Closed piecewise-C¹ immersions and null-homology
2.	The multi-point Cauchy principal value
3.	The generalised winding number
4.	Paper conditions (A') and (B)
5.	The Hungerbühler–Wasem generalised residue theorem
6.	Generalised winding numbers at the elliptic points
7.	The valence formula
8.	Dependency graph
	Dependency Graph
9.	Progress summary
	Blueprint Summary
10.	References
	Blueprint Bibliography

10. References

←Blueprint Summary Blueprint Bibliography→

10. References🔗

←Blueprint Summary Blueprint Bibliography→