cv1 - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cv1		Structured version Visualization version GIF version

Syntax Definition cv1 22144

Description: The base variable of a univariate power series.

**Assertion**
Ref	Expression
cv1	class var₁

See definition df-vr1 22149 for more information.

Colors of variables: wff setvar class