Theorem MvPolynomial.degreeOf_C_mul

Modification history

2026-01-03 10:56
Mathlib/Algebra/MvPolynomial/NoZeroDivisors.lean
feat: file for lemmas about MvPolynomials over NoZeroDivisors (#25925) …
Added MvPolynomial.degreeOf_C_mulView on Github →