Theorem Polynomial.IsMonicOfDegree.of_mul_left

Modification history

2025-07-03 08:10

Mathlib/Algebra/Polynomial/Degree/IsMonicOfDegree.lean

feat(Algebra/Polynomial/Degree/IsMonicOfDegree): new file (#26507) …

Added Polynomial.IsMonicOfDegree.of_mul_left View on Github →