7. paths and integrals
Smooth paths and loops, path line integrals of 1-forms, primitives along paths, and perturbing loops off a finite bad set.
7 modules, 4,611 lines, under Jacobians/Path/.
References: Forster §§1–2 · Forster §1 · Forster §§10–12 · Forster §10.5.