Metamath Proof Explorer


Syntax definition cig1p

Description: Univariate polynomial ideal generator.

Ref Expression
Assertion cig1p class idlGen1p