Metamath Proof Explorer


Syntax definition copws

Description: Ordered set of power series.

Ref Expression
Assertion copws
class ordPwSer