Theorem WeierstrassCurve.Jacobian.nonsingular_of_affine_of_Z_ne_zero

Modification history