A machine-checked solution to the Jacobians challenge

10. projective line🔗

The Riemann sphere ℙ¹ as the model compact Riemann surface.

1 modules, 620 lines, under Jacobians/ProjectiveLine/.

  1. 10.1. Keystones
  2. 10.2. Builds on
  3. 10.3. ProjectiveLine