Database
BASIC ALGEBRAIC STRUCTURES
Abstract multivariate polynomials
Univariate polynomials
cv1

Next ⟩ cpl1

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cv1

Description: The base variable of a univariate power series.

		Ref	Expression
	Assertion	cv1	$class {var}_{1}$