• 1 The project
  • 2 Roots of Complex Polynomials ▶
    • 2.1 Results from LEAN
    • 2.2 \(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
    • 2.3 Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
    • 2.4 Winding numbers at Infinity for complex polynomials
  • Dependency graph

CoveringSpacesProject

  • 1 The project
  • 2 Roots of Complex Polynomials
    • 2.1 Results from LEAN
    • 2.2 \(CSexp\colon \mathbb {C}\to \mathbb {C}\) is a covering projection on \(Cstar\)
    • 2.3 Homotopy Classes of Loops and maps of \(S^1\) into \(Cstar\)
    • 2.4 Winding numbers at Infinity for complex polynomials