Theorem MvPolynomial.range_mapAlgHom

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