Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-08-16 09:30
01e86733
View on Github →
chore: golf entire
X_pow_eq_monomial
(
#28504
)
Estimated changes
Modified
Mathlib/Algebra/Polynomial/Basic.lean
modified
theorem
Polynomial.X_pow_eq_monomial