Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.IsMonicOfDegree.of_mul_right
Modification history
2025-07-04 07:44
Mathlib/Algebra/Polynomial/Degree/IsMonicOfDegree.lean
chore: further whitespace fixes (#26708) …
Modified
Polynomial.IsMonicOfDegree.of_mul_right
View on Github →
2025-07-03 08:10
Mathlib/Algebra/Polynomial/Degree/IsMonicOfDegree.lean
feat(Algebra/Polynomial/Degree/IsMonicOfDegree): new file (#26507) …
Added
Polynomial.IsMonicOfDegree.of_mul_right
View on Github →