All.lean
Nyll.JacobianVarieties.All
0 declarations indexed from sourceView source ↗
Module documentation
Jacobian varieties
Picard and Jacobian varieties of algebraic curves, including relative constructions, Albanese maps, autoduality and Weil pairings. Includes Kummer theory and torsion constructions.
Imports8
Imported by1
This module has no indexed declarations. Its imports and full source are available here.