Def MvPolynomial.pUnitAlgEquiv

Modification history

2023-04-20 04:08

Mathlib/Data/MvPolynomial/Equiv.lean

chore: tidy various files (#3530)

Modified MvPolynomial.pUnitAlgEquiv View on Github →

2023-03-24 16:57

Mathlib/Data/MvPolynomial/Equiv.lean

feat: port Data.MvPolynomial.Equiv (#2997)

Added MvPolynomial.pUnitAlgEquiv View on Github →