Theorem Polynomial.int_leadingCoeff_eq

Modification history

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