Metamath Proof Explorer


Syntax definition cqs

Description: Extend the definition of a class to include quotient set.

Ref Expression
Assertion cqs
class ( A /. R )