Theorem MvPolynomial.mem_coeffsIn_iff_coeffs_subset

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.mem_coeffsIn_iff_coeffs_subset View on Github →