Theorem WeierstrassCurve.Projective.negAddY_eq

Modification history