Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Definition and basic properties
cmvr
Next ⟩
cmpl
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmvr
Description:
Multivariate power series variables.
Ref
Expression
Assertion
cmvr
class
mVar