Commit 2025-02-27 23:06 c0663041

chore(AlgebraicGeometry/EllipticCurve/Affine): standardise variable names (#22374) Standardise the use of W' for a Weierstrass curve over a ring and W for a Weierstrass curve over a field in the affine coordinates file, analogous to those in the Jacobian and projective coordinates files, and rearrange the file sections to reflect this. This reduces the dependency of individual lemmas on global variables, which will make the file split in #21356 a lot easier.