Theorem WeierstrassCurve.Projective.add_self

Modification history