Theorem WeierstrassCurve.Projective.nonsingular_of_equiv

Modification history