Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
The division algorithm for univariate polynomials
cuc1p
Next ⟩
cq1p
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cuc1p
Description:
Unitic polynomials.
Ref
Expression
Assertion
cuc1p
class Unic1p