Theorem Polynomial.trailingDegree_eq_zero

Modification history

2024-07-01 10:39

Mathlib/Algebra/Polynomial/Degree/TrailingDegree.lean

chore(Polynomial/TrailingDegree): use `ENat.toNat`, golf (#13652)

Modified Polynomial.trailingDegree_eq_zero View on Github →

2024-03-29 10:05

Mathlib/Data/Polynomial/Degree/TrailingDegree.lean

feat(Polynomial): When the trailing degree is zero (#11655) …

Added Polynomial.trailingDegree_eq_zero View on Github →