Theorem MvPolynomial.algebraMap_apply

Modification history

2025-07-29 14:40
Mathlib/Algebra/MvPolynomial/Basic.lean
chore: move MvPolynomial.algebraMap_apply earlier (#27631)
Modified MvPolynomial.algebraMap_applyView on Github →
2025-01-13 17:41
Mathlib/Algebra/MvPolynomial/Basic.lean
chore(Algebra/MvPolynomial/Eval): split file for eval off of basic (#20655) …
Modified MvPolynomial.algebraMap_applyView on Github →
2023-09-21 09:16
Mathlib/Data/MvPolynomial/Basic.lean
chore: only four spaces for subsequent lines (#7286)
Modified MvPolynomial.algebraMap_applyView on Github →
2023-03-19 14:23
Mathlib/Data/MvPolynomial/Basic.lean
chore: forward-port leanprover-community/mathlib#18599 (#2954)
Added MvPolynomial.algebraMap_applyView on Github →