Theorem MvPolynomial.degreeOf_mul_eq

Modification history

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