Theorem WeierstrassCurve.Projective.nonsingular_neg

Modification history