Mathlib v3 is deprecated. Go to Mathlib v4

Def weierstrass_curve.neg_Y

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.neg_Y View on Github →