Theorem minpoly.neg

Modification history

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