Theorem WeierstrassCurve.Projective.nonsingularLift_negMap

Modification history