Theorem Polynomial.int_monic_iff

Modification history

2024-09-17 09:53
Mathlib/Algebra/Ring/Subring/IntPolynomial.lean
feat(Algebra/Ring/Subring/IntPolynomiall): add intPolynomial (#15733)
Added Polynomial.int_monic_iffView on Github →