Theorem WeierstrassCurve.Projective.negAddY_eq'

Modification history