Basic Properties of Differential Polynomials on a Differential Ring

• 微分环上微分多项式的基本性质