# Commit 2022-11-30 10:44 73aaf32e

View on Github →refactor(algebraic_geometry/EllipticCurve): refactor base change and variable change (#17708)
Add `simps`

for `base_change`

and `variable_change`

(renamed from `change_of_variable`

for consistency), rename `simp`

lemmas and squeeze their proofs.
Includes #17700