Theorem minpoly.dvd_iff

Modification history

2024-01-26 04:28
Mathlib/FieldTheory/Minpoly/Field.lean
feat: the minimal polynomial is a generator of the annihilator ideal (#10008) …
Added minpoly.dvd_iffView on Github →