Metamath Proof Explorer


Syntax definition ctp1

Description: Convert a univariate polynomial representation to multivariate.

Ref Expression
Assertion ctp1 class toPoly1