Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.map_surjective_iff
Modification history
2025-03-24 15:02
Mathlib/Algebra/Polynomial/Eval/Coeff.lean
chore: improvements to (Mv)Polynomial and Algebra.IsPushout APIs (#23096) …
Added
Polynomial.map_surjective_iff
View on Github →