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