Theorem WeierstrassCurve.Jacobian.nonsingularLift_zero'

Modification history