Theorem WeierstrassCurve.Projective.addY_self

Modification history