Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Definition and basic properties
cmpl

Next ⟩ cltb

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmpl

Description: Multivariate polynomials.

		Ref	Expression
	Assertion	cmpl	class mPoly