Theorem MvPolynomial.coeff_rename_embDomain

Modification history

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