Theorem WeierstrassCurve.Projective.Point.neg_def

Modification history