Metamath Proof Explorer


Syntax definition cig1p

Description: Univariate polynomial ideal generator.

Ref Expression
Assertion cig1p
class idlGen1p