Theorem MvPolynomial.X_prime

Modification history

2026-10-13 18:30
Mathlib/Algebra/MvPolynomial/Division.lean
refactor(RingTheory/PowerSeries/NoZeroDivisors): fix names (#44692) …
Deleted MvPolynomial.X_primeView on Github →
2025-12-01 17:55
Mathlib/Algebra/MvPolynomial/Division.lean
feat: divisibility lemmas for multivariate polynomials (#32226) …
Added MvPolynomial.X_primeView on Github →