Metamath Proof Explorer


Syntax definition cslv

Description: Select a subset of variables in a multivariate polynomial.

Ref Expression
Assertion cslv class selectVars