Theorem MvPolynomial.degrees_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.degrees_mul_eqView on Github →