Theorem WeierstrassCurve.XYIdeal_neg_mul

Modification history