Theorem MvPolynomial.coe_coeffs_map

Modification history

2025-09-19 07:04
Mathlib/Algebra/MvPolynomial/Eval.lean
chore(*): drop some `Decidable`/`Fintype` assumptions (#29785) …
Modified MvPolynomial.coe_coeffs_mapView on Github →
2025-05-26 14:12
Mathlib/Algebra/MvPolynomial/Eval.lean
feat(Algebra/MvPolynomial): add `MvPolynomial.mem_range_map_of_coeffs_subset` (#24785)
Added MvPolynomial.coe_coeffs_mapView on Github →