Mathlib Changelog
v4
Changelog
About
Github
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_iff
View on Github →