Commit 2022-08-08 19:01 c7963f40
View on Github →chore(data/mv_polynomial/basic): generalize lemmas about evaluation at zero (#15929)
This adds unapplied versions of the simp lemmas so that they apply more generally, and adds missing versions for mv_polynomial.eval and mv_polynomial.eval₂.