Theorem WeierstrassCurve.Projective.addX_self

Modification history