Theorem WeierstrassCurve.Jacobian.nonsingular_of_equiv

Modification history