Theorem MvPolynomial.eval₂_uniqueAlgEquiv

Modification history

2026-04-23 09:36

Mathlib/Algebra/MvPolynomial/Equiv.lean

refactor(Algebra/MvPolynomial): generalize pUnitAlgEquiv to Unique (#37801) …

Added MvPolynomial.eval₂_uniqueAlgEquiv View on Github →