Theorem Polynomial.degree_eq_iff_natDegree_eq

Modification history

2026-08-20 21:14

Mathlib/Algebra/Polynomial/Degree/Defs.lean

feat(Algebra/Polynomial): lemmas about polynomial degree (#37956) …

Modified Polynomial.degree_eq_iff_natDegree_eq View on Github →

2023-03-08 11:06

Mathlib/Data/Polynomial/Degree/Definitions.lean

feat: port Data.Polynomial.Degree.Definitions (#2631)

Added Polynomial.degree_eq_iff_natDegree_eq View on Github →