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