Theorem WeierstrassCurve.Jacobian.nonsingular_neg

Modification history