Theorem WeierstrassCurve.Jacobian.nonsingularLift_negMap

Modification history