Theorem MvPolynomial.derivation_eq_of_forall_mem_vars

Modification history

2023-06-02 19:21
Mathlib/Data/MvPolynomial/Derivation.lean
feat: port Data.MvPolynomial.Derivation (#4603)
Added MvPolynomial.derivation_eq_of_forall_mem_varsView on Github →