Metamath Proof Explorer


Syntax definition cq1p

Description: Univariate polynomial quotient.

Ref Expression
Assertion cq1p
class quot1p