Theorem WeierstrassCurve.Jacobian.map_nonsingular

Modification history