Theorem WeierstrassCurve.Projective.nonsingularLift_iff

Modification history