Theorem Polynomial.normalize_eq_self_iff_monic

Modification history

2026-07-08 15:11

Mathlib/Algebra/Polynomial/FieldDivision.lean

refactor(Algebra): weaken NormalizationMonoid (#34179) …

Modified Polynomial.normalize_eq_self_iff_monic View on Github →

2025-05-27 08:30

Mathlib/Algebra/Polynomial/FieldDivision.lean

feat(Polynomial.FieldDivision): Several lemmas about normalized polynomials over a field (#25149) …

Added Polynomial.normalize_eq_self_iff_monic View on Github →