Theorem MvPolynomial.vars_bind₁

Modification history

2023-05-21 21:51

Mathlib/Data/MvPolynomial/Monad.lean

chore: forward-port leanprover-community/mathlib#18848 (#4007) …

Modified MvPolynomial.vars_bind₁ View on Github →

2023-04-04 01:03

Mathlib/Data/MvPolynomial/Monad.lean

feat: port Data.MvPolynomial.Monad (#2887) …

Added MvPolynomial.vars_bind₁ View on Github →