Theorem WeierstrassCurve.Projective.addX_eq

Modification history