Metamath Proof Explorer


Syntax definition cmps

Description: Multivariate power series.

Ref Expression
Assertion cmps
class mPwSer