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_eqView 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_eqView on Github →