Def minpoly.rootsOfMinPolyPiType

Modification history

2023-06-08 18:26
Mathlib/FieldTheory/Minpoly/Field.lean
chore: tidy various files (#4854)
Added minpoly.rootsOfMinPolyPiTypeView on Github →