# Commit 2024-06-10 19:34 6e0fcfb1

View on Github →feat(AlgebraicGeometry/EllipticCurve/Jacobian): implement group law for Jacobian coordinates (#9405) Completes the proof of the group law in Jacobian coordinates, analogously to #8485

feat(AlgebraicGeometry/EllipticCurve/Jacobian): implement group law for Jacobian coordinates (#9405) Completes the proof of the group law in Jacobian coordinates, analogously to #8485