Theorem WeierstrassCurve.Projective.nonsingular_iff_of_Y_eq_negY

Modification history