Def MvPolynomial.mkDerivation

Modification history

2023-06-02 19:21

Mathlib/Data/MvPolynomial/Derivation.lean

feat: port Data.MvPolynomial.Derivation (#4603)

Added MvPolynomial.mkDerivation View on Github →