This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
BASIC LINEAR ALGEBRA
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