Theorem WeierstrassCurve.Affine.CoordinateRing.mk_XYIdeal'_neg_mul

Modification history