Theorem MvPolynomial.rename_id_apply

Modification history

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