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

Next ⟩ cmpl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmvr

Description: Multivariate power series variables.

		Ref	Expression
	Assertion	cmvr	$class mVar$