Theorem MvPolynomial.rename_id

Modification history

2025-02-20 13:57

Mathlib/Algebra/MvPolynomial/Rename.lean

feat(Algebra/MvPolynomial): add `comp` versions of rename lemmas (#21259) …

Modified MvPolynomial.rename_id View on Github →

2023-03-15 10:38

Mathlib/Data/MvPolynomial/Rename.lean

feat: port Data.MvPolynomial.Rename (#2886) …

Added MvPolynomial.rename_id View on Github →