Theorem WeierstrassCurve.nonsingular_neg

Modification history