11. meromorphic and divisors🔗

Meromorphic functions as germ data, divisors (Finsupp), orders, linear systems and their dimension; Liouville and normal-form repair. (Migration: split the mixed Abel.lean into divisor foundations here vs the Abel–Jacobi map upstairs.)

6 modules, 1,374 lines, under Jacobians/Meromorphic/.

References: Forster §6 · Forster §20 · Forster §6.4 · Forster §21.5.

1. 11.1. Keystones
2. 11.2. Builds on
3. 11.3. Meromorphic
4. 11.4. Meromorphic.Abel
5. 11.5. Meromorphic.LinearSystem
6. 11.6. Meromorphic.MeromorphicInverse
7. 11.7. Meromorphic.MeromorphicLiouville
8. 11.8. Meromorphic.MeromorphicNFRepair