Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Univariate polynomials
cpl1

Next ⟩ cco1

Metamath Proof Explorer

Unicode
Structured

Syntax definition cpl1

Description: Univariate polynomials.

		Ref	Expression
	Assertion	cpl1	class Poly1