Theorem MvPolynomial.degreeOf_one

Modification history

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