Commit 2025-03-06 17:02 fe0e6720

View on Github →

feat(AlgebraicGeometry/EllipticCurve/*): some missing lemmas (#22601) Add the simple lemmas polynomial_relation and Equation.baseChange that are present in some coordinate files but missing in others, and fix some evalEval names based on standard naming conventions.

Estimated changes