Theorem MvPolynomial.eval₂_pUnitAlgEquiv_symm

Modification history

2026-10-16 07:34
Mathlib/Algebra/MvPolynomial/Equiv.lean
chore: remove declarations deprecated between 2026-04-01 and 2026-04-15 (#44903) …
Deleted MvPolynomial.eval₂_pUnitAlgEquiv_symmView on Github →
2025-03-17 22:47
Mathlib/Algebra/MvPolynomial/Equiv.lean
feat(Mathlib.RingTheory.MvPowerSeries.Evaluation): evaluation of power series (#15019) …
Added MvPolynomial.eval₂_pUnitAlgEquiv_symmView on Github →