Theorem MvPolynomial.algebraMap_def

Modification history

2025-03-24 15:02

Mathlib/Algebra/MvPolynomial/Eval.lean

chore: improvements to (Mv)Polynomial and Algebra.IsPushout APIs (#23096) …

Modified MvPolynomial.algebraMap_def View on Github →

2024-06-25 00:00

Mathlib/RingTheory/MvPolynomial/Basic.lean

feat(RingTheory/MvPolynomial): multivariate polynomials preserve localization (#14055) …

Added MvPolynomial.algebraMap_def View on Github →