Theorem minpoly.aeval_modByMonic_minpoly

Modification history

2026-06-09 00:16
Mathlib/FieldTheory/Minpoly/Basic.lean
feat(Algebra/Polynomial): lemmas about `modByMonic` (#37955) …
Added minpoly.aeval_modByMonic_minpolyView on Github →