Theorem MvPolynomial.derivation_C_mul'

Modification history

2023-08-02 18:06
Mathlib/Data/MvPolynomial/Derivation.lean
feat: derivations of (univariate) polynomials (#6023) …
Deleted MvPolynomial.derivation_C_mul'View on Github →
2023-06-02 19:21
Mathlib/Data/MvPolynomial/Derivation.lean
feat: port Data.MvPolynomial.Derivation (#4603)
Added MvPolynomial.derivation_C_mul'View on Github →