Theorem Polynomial.map_normalize

Modification history

2025-05-27 08:30
Mathlib/Algebra/Polynomial/FieldDivision.lean
feat(Polynomial.FieldDivision): Several lemmas about normalized polynomials over a field (#25149) …
Added Polynomial.map_normalizeView on Github →