Theorem MvPolynomial.algebraMap_def

Modification history

2024-06-25 00:00
Mathlib/RingTheory/MvPolynomial/Basic.lean
feat(RingTheory/MvPolynomial): multivariate polynomials preserve localization (#14055) …
Added MvPolynomial.algebraMap_defView on Github →