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.