Theorem MvPolynomial.prime_X

Modification history

2026-10-13 18:30
Mathlib/Algebra/MvPolynomial/Division.lean
refactor(RingTheory/PowerSeries/NoZeroDivisors): fix names (#44692) …
Added MvPolynomial.prime_XView on Github →