Theorem Polynomial.Monic.neg_one_pow_natDegree_mul_comp_neg_X

Modification history

2024-10-07 20:10
Mathlib/Algebra/Polynomial/RingDivision.lean
feat(FieldTheory/Minpoly): add theorem for minpoly of -x (#17367) …
Added Polynomial.Monic.neg_one_pow_natDegree_mul_comp_neg_XView on Github →