Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
The division algorithm for univariate polynomials
cmn1
Next ⟩
cuc1p
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmn1
Description:
Monic polynomials.
Ref
Expression
Assertion
cmn1
class
Monic
1p