Theorem Polynomial.int_natDegree

Modification history

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