Theorem Polynomial.algEquivOfCompEqX_eq_iff

Modification history

2024-10-28 06:12
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial/AlgebraMap): add `algEquiv(OfCompEqX|AevalXAddC)_(eq_iff|symm)` (#18257)
Added Polynomial.algEquivOfCompEqX_eq_iffView on Github →