All.lean
Nyll.AlgebraicCurves.All
0 declarations indexed from sourceView source ↗
Module documentation
Algebraic curves
Algebraic curves, divisors, function fields, differentials and residues. Includes Riemann–Roch, duality and relative geometric constructions used by the Jacobian library.
Imports11
- Nyll.AlgebraicCurves.Cohomology.All
- Nyll.AlgebraicCurves.Differentials.All
- Nyll.AlgebraicCurves.Divisors.All
- Nyll.AlgebraicCurves.Foundations.All
- Nyll.AlgebraicCurves.FunctionFields.All
- Nyll.AlgebraicCurves.Geometry.All
- Nyll.AlgebraicCurves.Hilbert.All
- Nyll.AlgebraicCurves.Models.All
- Nyll.AlgebraicCurves.Places.All
- Nyll.AlgebraicCurves.RelativeDivisors.All
- Nyll.AlgebraicCurves.Valuations.All
Imported by1
This module has no indexed declarations. Its imports and full source are available here.