Theorem MvPolynomial.expand_bind₁

Modification history

2023-04-04 12:51
Mathlib/Data/MvPolynomial/Expand.lean
feat: port Data.MvPolynomial.Expand (#3261)
Added MvPolynomial.expand_bind₁View on Github →