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.