Theorem MvPolynomial.C_eq_algebraMap

Modification history

2026-06-25 15:06
Mathlib/Algebra/MvPolynomial/Basic.lean
feat(Tactic): `polynomial(_nf)` tactics (#31513) …
Added MvPolynomial.C_eq_algebraMapView on Github →