Theorem WeierstrassCurve.Jacobian.nonsingular_iff

Modification history