Metamath Proof Explorer


Syntax definition cmvr

Description: Multivariate power series variables.

Ref Expression
Assertion cmvr class mVar