Mathlib v3 is deprecated. Go to Mathlib v4

Theorem weierstrass_curve.slope_of_Y_ne_eq_eval

Modification history

2023-02-10 16:39

src/algebraic_geometry/elliptic_curve/point.lean

feat(algebraic_geometry/elliptic_curve/point): define addition of K-rational points (#17194) …

Added weierstrass_curve.slope_of_Y_ne_eq_eval View on Github →