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