Theorem MvPolynomial.rename_polynomial_aeval_X

Modification history

2024-11-30 09:21
Mathlib/Algebra/MvPolynomial/Equiv.lean
chore(RingTheory): split up `Algebraic.lean` (#19370) …
Added MvPolynomial.rename_polynomial_aeval_XView on Github →