Commit 2020-09-24 14:02 03775fbb
View on Github →chore(data/mv_polynomial): aeval_rename -> aeval_id_rename (#4230)
aeval_rename was not general enough, so it is renamed to
aeval_id_rename.
Also: state and prove the more general version of aeval_rename.