Theorem WeierstrassCurve.Projective.neg_equiv

Modification history