Theorem MvPolynomial.finSuccEquiv_X_zero

Modification history

2024-11-25 18:11

Mathlib/Algebra/MvPolynomial/Equiv.lean

feat(MvPolynomial): more lemmas about `finSuccEquiv` (#19201)

Modified MvPolynomial.finSuccEquiv_X_zero View on Github →

2023-03-24 16:57

Mathlib/Data/MvPolynomial/Equiv.lean

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

Added MvPolynomial.finSuccEquiv_X_zero View on Github →