Theorem MvPolynomial.aeval_comp_rename

Modification history

2025-02-20 13:57
Mathlib/Algebra/MvPolynomial/Rename.lean
feat(Algebra/MvPolynomial): add `comp` versions of rename lemmas (#21259) …
Added MvPolynomial.aeval_comp_renameView on Github →