Theorem minpoly.natDegree_le_spanFinrank

Modification history

2026-04-19 18:32
Mathlib/FieldTheory/Minpoly/Finite.lean
feat: strengthen Cayley-Hamilton (#37872) …
Added minpoly.natDegree_le_spanFinrankView on Github →