Metamath Proof Explorer

Syntax definition ctp1

Description: Convert a univariate polynomial representation to multivariate.

Ref Expression
Assertion ctp1 
class toPoly1