Theorem WeierstrassCurve.Projective.nonsingular_iff_affine_of_Z_ne_zero

Modification history