Theorem WeierstrassCurve.Affine.slope_of_Yne_eq_eval

Modification history