Theorem MvPolynomial.disjoint_support_monomial

Modification history

2025-05-26 14:12

Mathlib/Algebra/MvPolynomial/Basic.lean

feat(Algebra/MvPolynomial): add `MvPolynomial.mem_range_map_of_coeffs_subset` (#24785)

Added MvPolynomial.disjoint_support_monomial View on Github →