Commit 2022-09-14 16:17 9532aeba
View on Github →chore(data/mv_polynomial/{basic, monad}): move lemmas aeval_X_left
and aeval_X_left_apply
(#16391)
chore(data/mv_polynomial/{basic, monad}): move lemmas aeval_X_left
and aeval_X_left_apply
(#16391)