Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-17 20:32
e58bf58f
View on Github →
feat: add monic_X_pow_add_C (
#10643
)
Estimated changes
Modified
Mathlib/Data/Polynomial/Monic.lean
added
theorem
Polynomial.monic_X_pow_add_C