Theorem Polynomial.aeval_dvd

Modification history

2026-06-09 00:16
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial): lemmas about `modByMonic` (#37955) …
Added Polynomial.aeval_dvdView on Github →