Theorem MvPolynomial.coeffs_add

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