Theorem WeierstrassCurve.Affine.slope_of_Y_ne

Modification history