Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Additional definitions for (multivariate) polynomials
cpsd

Next ⟩ cai

Metamath Proof Explorer

Ascii
Structured

Syntax definition cpsd

Description: Power series partial derivative function.

		Ref	Expression
	Assertion	cpsd	class mPSDer