Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-06-30 14:03
ce0b4414
View on Github →
feat(Polynomial): Monic.C_ne_zero (
#26508
) shortcut lemma
Estimated changes
Modified
Mathlib/Algebra/Polynomial/Degree/Definitions.lean
modified
theorem
Polynomial.Monic.ne_zero
added
theorem
Polynomial.Monic.ne_zero_of_C