Theorem WeierstrassCurve.Affine.slope_of_Xne

Modification history