Theorem WeierstrassCurve.Projective.addX_of_X_eq

Modification history