Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Definition and basic properties
copws
Next ⟩
df-psr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
copws
Description:
Ordered set of power series.
Ref
Expression
Assertion
copws
class
ordPwSer