Theorem MvPolynomial.eval_rename

Modification history

2024-02-03 01:01
Mathlib/Data/MvPolynomial/Rename.lean
chore: misc lemmas about polynomials (#10193)
Added MvPolynomial.eval_renameView on Github →