Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomials
cv1
Next ⟩
cpl1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cv1
Description:
The base variable of a univariate power series.
Ref
Expression
Assertion
cv1
class
var
1