Theorem MvPolynomial.coeffs_map

Modification history

2025-05-26 14:12
Mathlib/Algebra/MvPolynomial/Eval.lean
feat(Algebra/MvPolynomial): add `MvPolynomial.mem_range_map_of_coeffs_subset` (#24785)
Added MvPolynomial.coeffs_mapView on Github →