Commit 2025-05-21 08:12 1000b0fa

View on Github →

chore(Algebra/Polynomial): fix universe of mapAlgHom_comp (#25063)

Estimated changes

Modified Mathlib/Algebra/Polynomial/AlgebraMap.lean

modified theorem Polynomial.mapAlgHom_comp