Theorem MvPolynomial.algHom_C

Modification history

2024-06-25 00:00
Mathlib/Algebra/MvPolynomial/Basic.lean
feat(RingTheory/MvPolynomial): multivariate polynomials preserve localization (#14055) …
Modified MvPolynomial.algHom_CView on Github →
2024-04-14 10:41
Mathlib/Algebra/MvPolynomial/Basic.lean
chore: remove autoImplicit from more files (#11798) …
Modified MvPolynomial.algHom_CView on Github →
2024-03-24 08:11
Mathlib/Data/MvPolynomial/Basic.lean
feat: generalize `algHom_C`, add `killCompl_C` (#11205) …
Modified MvPolynomial.algHom_CView on Github →
2023-03-15 08:33
Mathlib/Data/MvPolynomial/Basic.lean
feat: port Data.MvPolynomial.Basic (#2861)
Added MvPolynomial.algHom_CView on Github →