Theorem WeierstrassCurve.Projective.nonsingular_iff

Modification history