Metamath Proof Explorer


Syntax definition cq1p

Description: Univariate polynomial quotient.

Ref Expression
Assertion cq1p class quot1p