Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.int_coeff_eq
Modification history
2025-03-12 15:12
Mathlib/Algebra/Ring/Subring/IntPolynomial.lean
chore(whitespace): yet some more whitespace changes (#22854) …
Modified
Polynomial.int_coeff_eq
View on Github →
2024-09-17 09:53
Mathlib/Algebra/Ring/Subring/IntPolynomial.lean
feat(Algebra/Ring/Subring/IntPolynomiall): add intPolynomial (#15733)
Added
Polynomial.int_coeff_eq
View on Github →