Def WeierstrassCurve.Affine.slope

Modification history

2025-07-22 22:48

Mathlib/AlgebraicGeometry/EllipticCurve/Affine/Formula.lean

chore(EllipticCurve): make affine addition computable (#27299) …

Added WeierstrassCurve.Affine.slope View on Github →