Def WeierstrassCurve.Affine.Point.add

Modification history

2025-07-22 22:48

Mathlib/AlgebraicGeometry/EllipticCurve/Affine/Point.lean

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

Added WeierstrassCurve.Affine.Point.add View on Github →