Theorem WeierstrassCurve.nonsingular_neg_of

Modification history