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

Next ⟩ cmpl

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmvr

Description: Multivariate power series variables.

		Ref	Expression
	Assertion	cmvr	class mVar