Theorem WeierstrassCurve.equation_neg

Modification history