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

Next ⟩ cig1p

Metamath Proof Explorer

Ascii
Structured

Syntax definition cr1p

Description: Univariate polynomial remainder.

		Ref	Expression
	Assertion	cr1p	class rem_1p