Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomials
ctp1

Next ⟩ df-psr1

Metamath Proof Explorer

Ascii
Structured

Syntax definition ctp1

Description: Convert a univariate polynomial representation to multivariate.

		Ref	Expression
	Assertion	ctp1	class toPoly₁