Theorem MvPolynomial.dvd_monomial_mul_iff_exists

Modification history

2025-12-01 17:55
Mathlib/Algebra/MvPolynomial/Division.lean
feat: divisibility lemmas for multivariate polynomials (#32226) …
Added MvPolynomial.dvd_monomial_mul_iff_existsView on Github →