Commit 2025-04-24 18:18 156e7453

View on Github →

feat(Algebra/Polynomial): add mapAlgEquiv_toAlgHom (#24349)

Estimated changes

Modified Mathlib/Algebra/Polynomial/AlgebraMap.lean

modified theorem Polynomial.mapAlgEquiv_comp

added theorem Polynomial.mapAlgEquiv_toAlgHom