Theorem Polynomial.algEquivOfCompEqX_symm

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_symmView on Github →