Theorem Polynomial.natDegree_eq_natDegree

Modification history

2024-11-23 14:14
Mathlib/Algebra/Polynomial/Degree/Operations.lean
feat(Polynomial): `p.natDegree = q.natDegree` if `p.degree = q.degree` (#19402) …
Added Polynomial.natDegree_eq_natDegreeView on Github →