Metamath Proof Explorer


Syntax definition cquot

Description: Extend class notation to include the quotient of a polynomial division.

Ref Expression
Assertion cquot
class quot