Theorem Polynomial.roots_expand_pow_map_iterateFrobenius_le

Modification history

2024-02-10 09:09
Mathlib/FieldTheory/Perfect.lean
feat(PerfectRing): roots of `Polynomial.expand` (#9311) …
Added Polynomial.roots_expand_pow_map_iterateFrobenius_leView on Github →