Theorem WeierstrassCurve.Projective.negDblY_eq'

Modification history