Theorem Polynomial.IsMonicOfDegree.natDegree_sub_X_pow

Modification history

2025-07-03 08:10
Mathlib/Algebra/Polynomial/Degree/IsMonicOfDegree.lean
feat(Algebra/Polynomial/Degree/IsMonicOfDegree): new file (#26507) …
Added Polynomial.IsMonicOfDegree.natDegree_sub_X_powView on Github →