Theorem Polynomial.int_eval₂_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_eval₂_eqView on Github →