Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
The division algorithm for univariate polynomials
cmn1

Next ⟩ cuc1p

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmn1

Description: Monic polynomials.

		Ref	Expression
	Assertion	cmn1	class Monic1p