Database
BASIC REAL AND COMPLEX FUNCTIONS
Polynomials
The division algorithm for univariate polynomials
cig1p
Next ⟩
df-mon1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cig1p
Description:
Univariate polynomial ideal generator.
Ref
Expression
Assertion
cig1p
class
idlGen
1p