Theorem Polynomial.mapAlgEquiv_toAlgHom

Modification history

2025-04-24 18:18

Mathlib/Algebra/Polynomial/AlgebraMap.lean

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

Added Polynomial.mapAlgEquiv_toAlgHom View on Github →