Commit 2024-10-28 06:12 b8b4846e

View on Github →

feat(Algebra/Polynomial/AlgebraMap): add algEquiv(OfCompEqX|AevalXAddC)_(eq_iff|symm) (#18257)

Estimated changes

Modified Mathlib/Algebra/Polynomial/AlgebraMap.lean

added theorem Polynomial.algEquivAevalXAddC_eq_iff

added theorem Polynomial.algEquivAevalXAddC_symm

added theorem Polynomial.algEquivOfCompEqX_eq_iff

added theorem Polynomial.algEquivOfCompEqX_symm